(defclass Pizza
   :label “Pizza”
   :super
    (owl-some hasTopping PizzaTopping)
    (owl-some hasBase PizzaBase))

(deftest plus
  (is (= 4 (+ 2 2))))

(defn str-pband? [ band ]
 (re-find #“p” band))

(is (h/str-pband? “HumanChromosome1Bandp10”))
(is (not (h/str-pband? “HumanChromosome1Bandq10”)))

(defn band? [x]
 (or
  (= x HumanChromosomeBand)
  (superclass? human x HumanChromosomeBand)))

(is (h/band? h/HumanChromosome1Bandp10))

(is (r/isuperclass? i/k46_XY n/MaleKaryotype))

(is (not
      (with-probe-entities
       [ _ (owl-class “_”
             :super HumanAutosome
                 HumanSexChromosome)]
       (r/coherent?))