(*isc* a (csome R C))
(*isc* a (csome R E))
(*isc* a (csome R (and E (csome R T))))
(*isc* a (all R D))
(*isc* a (all R F))
(*isc* a (csome R (and C D)))

(*isr* (a b) R)
(*isc* b C)



(*axm* (if E (all R D)))
(*axm* (if E (all R G)))


(*axm* (onlyif A B))
(*axm* (onlyif A (not B)))

(*axm* (iff A (csome R C)))
