dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina(cl-text prop

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (thisMustBeTrue)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (and (a) (b) (not (c)))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (or (d) (e) (not (f)))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina(cl-text pred

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (P g)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (Q h)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (P g h)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina(cl-text quant

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (forall (x y z) (and (P x) (P y) (not (P z))))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (exists (x) (P x))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina(cl-text compact

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (P g)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (Q P)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (forall (P) (P h))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina(cl-text func

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (= (F g) h)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (= g (G h i j))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (forall (H I) (= (H g) (I h i)))

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina (= ((J ((K g) h) i) j) k)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina)

dea636af4d1902a081ee891f1b19ee2f8729d759Pavel Březina