    }
   )
 
-(def animal {:animate true
-             :artifact false
-             :living true})
-
 (defn null-sem-impl [input]
   "null sem-impl: simply return input."
   (log/trace (str "null-sem-impl:" (strip-refs input)))

   [babel.exception :refer [exception]]
   #?(:cljs [babel.logjs :as log])
   #?(:clj [clojure.tools.logging :as log])
   [dag_unify.core :refer [strip-refs]]))

(def encyc
  {

  (get encyc {k (get-in input [k])} {}))

(defn impl-list [input]
  [
   (get-encyc input :activity)
   (get-encyc input :animate)
   (get-encyc input :artifact)
   (get-encyc input :buyable)
