(in-package :cl-user)

;; Description should say that !c is unsatisfiable.

(with-ontology null-intersection-unsatisfiable ()
    ((class !a :partial)
     (class !b :partial)
     (disjoint-classes !a !b)
     (class !c :complete (intersection-of !a !b)))
  (assert (member !c (unsatisfiable-classes null-intersection-unsatisfiable) ) () "!c should be unsatisfiable"))