           result
           (if head-pre-checks
             (do
-              (log/debug (str "moreover-head: head failed prechecks for parent: " (get-in parent [:rule])))
+              (log/trace (str "moreover-head: head failed prechecks for parent: " (get-in parent [:rule])))
               :fail)
             (unify
              (copy parent)

                     (unifyc parent-value child-value)]
                 (if (fail? result)
                   (do
                     (log/debug (str "comp precheck failed  for pair: " pair))
                     (log/debug (str "comp precheck failed: parent wanted: " (strip-refs parent-value) ";"
                                     "child has: " (strip-refs child-value)))
                     (log/trace (str " child is: " (strip-refs child)))
                     :fail)

         label (if (get-in parent [:rule]) (get-in parent [:rule]) (:comment parent))]
     (if (not is-fail?)
       (do
         (log/debug (str "overh: " (get-in parent [:rule]) "=>" (get-in head [:rule]
                                                                        (get-in head [:synsem :sem :pred]
                                                                                "(no pred for head)"))))
         (log/trace (str "overh successful result: " (strip-refs (dissoc result :serialized))))
         (list result))))))

