clifSyntacticSugarTest.clf revision ff41d94839a36ce86291af5d83abe2bd39cce1d0
dabf0263008e0b55440c4e3fa0b61261af8c28ceEugen Kuksa(R (roleset: (N1 T1) (N2 T2))) %(roleset1)%
dabf0263008e0b55440c4e3fa0b61261af8c28ceEugen Kuksa(((P Q) x) (cl-roleset (N1 T1))) %(roleset2)%
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen Kuksa(forall (x a b c) (P x)) %(usualAll)%
dabf0263008e0b55440c4e3fa0b61261af8c28ceEugen Kuksa(forall G (z) (and (P y) (P z) (forall (x) (P x)))) %(syntacticSugarAll)%
dabf0263008e0b55440c4e3fa0b61261af8c28ceEugen Kuksa(exists G (z) (and (P y) (P z) (forall (x) (P x)))) %(syntacticSugarEx)%
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen Kuksa(forall (u (N1 T1) w (N2 T2)) (x)) %(syntacticSugarAll2)%
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen Kuksa(exists (u (N1 T1) w (N2 T2)) (x)) %(syntacticSugarEx2)%
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen Kuksa(exists G (u (N1 T1) w (N2 T2)) (x y z)) %(syntacticSugarExCombined)%