      (throw (js/Error. error-string))))
 
 (defn unify-check [ & vals]
-  (let [result (apply unifyc vals)]
+  (let [result (apply unify vals)]
     (if (fail? result)
       (exception (str "failed to unify grammar rule with values: " vals))
       result)))

                                  {:synsem {:infl :present}})))))]
       (let [merged
             (if (= input :fail) :fail
                 (unifyc input finitize))]
         (do
           merged)))))) ;; for now, no recursive call.


        head-essere (atom :top)
        head-is-pronoun (atom :top)
        head-sem (atom :top)]
    (unify phrasal
            {:synsem {:cat head-cat
                      :essere head-essere
                      :pronoun head-is-pronoun
