ontohub/ontohub-backend

db/seeds/fixtures/documents/cat.clif

Summary

Maintainability

Test Coverage

Issues
Source
Stats

Issues

(cl-text Cat
  (P x)
  (and (P x) (Q y))
  (or (Cat x) (Mat y))
  (not (On x y))
  (if (P x) (Q x))
  (exists (z) (and (Pet x) (Happy z) (Attr x z)))
)