
true
true
false
false

(relsent_1)
(relsent_2  term1 2 3.0 ?var (funterm1 (functerm2) (functerm3 "ab") 4))
(relsent_3  1  .21 22. 23.0 24e2 .3e2 -.3e2 -2.e2)

(not true)
(not (relsent_4 "term1" 2 3.0 ?var (funterm 2 4)))
(or  (relsent2 .21 22. 23.0 24e2 .3e2 -.3e2 -2.e2) (not (relsent4)))
(and (relsent2 .21 22.  -.3e2 @seqvar) (or true (not (relsent))))

(<=> true  false)
(=> (not false)  true  (not (not true)))
(<= (not false)  true  (not (not true)))
(<= (result)  (not true) true)
(<= (rel1 "this") (rel2 "that"))


