               (log/trace (str "parent " (get-in parent [:rule])
                               " wanted head with: "
                               (strip-refs (get-in parent [:head :synsem]))))
-              (log/trace (str "candidate child has synsem: "
-                              (strip-refs
-                               (get-in
-                                (unifyc child
-                                        {:synsem {:sem (lexfn-sem-impl (get-in child '(:synsem :sem) :top))}})
-                                [:synsem]))))
               (log/trace (str "fail-path: " (get-fail-path (get-in parent [:head])
                                                            child)))
               (log/trace (str "  parent@" fail-path "="

              :fail)
            (unify
             (copy parent)
             (unify {:head (copy child)
                     :head-filled true}
                    {:head {:synsem {:sem (lexfn-sem-impl (copy (get-in child '(:synsem :sem) :top)))}}})))]
      (if (not (fail? result))
        (let [debug (log/trace (str "moreover-head: " (get-in parent '(:rule)) " succeeded: " (get-in result [:rule])
                                    ":'" (morph result) "'"))

   (let [check-result (comp-pre-checks parent comp)
         result (if check-result :fail
                      (unifyc parent
                              {:comp comp}))
         is-fail? (fail? result)]
     (if (not is-fail?)
       (do
