                           (not (= '() (get-in val [:synsem :subcat :2]))))
 
                      (do
-                       (list (unifyc val 
-                                     transitive) ;; Make a 2-member list. member 1 is the transitive version..
+                       (list (unify val 
+                                    transitive) ;; Make a 2-member list. member 1 is the transitive version..
 
                              ;; .. and the other member of the list being the intransitive version.
                              ;; Turn the singular, transitive form into an intransitive form by
                              ;; doing some surgery on it: (remove the object) and intransitivize it
                              (let [without-object  ;; intransitive version
-                                   (unifyc intransitive-unspecified-obj
-                                           (dissoc-paths val
+                                   (unify intransitive-unspecified-obj
+                                          (dissoc-paths val
                                                          (list [:serialized]
                                                                [:synsem :sem :obj]
                                                                [:synsem :subcat :2])))]

   [clojure.set :as set]
   [clojure.tools.logging :as log]
   [clojure.core :as core]
   [babel.pos :refer :all]
   [dag-unify.core :refer :all :exclude (unify)])) ;; exclude unify because we redefine it here using unifyc (copy each arg)


                     (and (= (get-in val [:synsem :cat])
                             :verb)
                          (= :none (get-in val [:synsem :subcat :2] :none)))
                     (list (unify val intransitive))
                     
                     ;; else just return vals:
                     true
                     (do (if (= :verb (get-in val [:synsem :cat]))
