 (def ^:dynamic *check-infl* true)
 
 (defn head-pre-checks [parent child]
+  (log/debug (str "head-pre-checks PH: " (strip-refs (get-in parent [:head]))))
+  (log/debug (str "head-pre-checks H: " (dissoc (strip-refs child) :serialized)))
   (or
    (fail? (unifyc (get-in parent [:head :synsem :infl] :top)
                   (get-in child [:synsem :infl] :top)))

(defn overc [parent comp]
  "add given child as the comp child of the phrase: parent."

  (log/trace (str "set? parent:" (set? parent)))
  (log/trace (str "seq? parent:" (seq? parent)))
  (log/trace (str "seq? comp:" (seq? comp)))

  (log/trace (str "type of parent: " (type parent)))
  (log/trace (str "type of comp  : " (type comp)))
  (log/trace (str "nil? comp  : " (nil? comp)))

  (cond
   (nil? comp) nil

        (log/trace (str "moreover-comp:  parent value: " (strip-refs (get-in parent (fail-path result)))))
        :fail))))

(defn overh
  "add given head as the head child of the phrase: parent."
  [parent head morph]
  (when (and (map? parent)
             (map? head))
    (do
      (log/debug (str "overh: parent: " (strip-refs (dissoc parent :serialized))))
      (log/debug (str "overh: head: " (strip-refs (dissoc head :serialized))))))

  (cond

