                      subcat-1-1-principle subcat-2-principle
                      subcat-1-1-principle-comp-subcat-1 
                      subcat-2-2-principle
-                     subcat-5-principle verb-default?]
+                     subcat-5-principle]
     :as ug]
    #?(:clj [clojure.tools.logging :as log])
    #?(:cljs [babel.logjs :as log]) 
    [clojure.core.cache :as cache]
    [clojure.pprint :refer (pprint)]
    [clojure.repl :refer (doc)]
-   [dag_unify.core :refer (fail? get-in remove-matching-keys strip-refs unify)]))
+   [dag_unify.core :as u :refer [fail? get-in remove-matching-keys strip-refs unify]]))
+
+(defn verb-default? [tree]
+  (and (= :verb (u/get-in tree [:synsem :cat]))
+       (or (= :top (u/get-in tree [:synsem :sem :tense] :top))
+           (= :top (u/get-in tree [:synsem :infl] :top))
+           (= {:not :infinitive}
+              (u/strip-refs (u/get-in tree [:synsem :infl] :top))))))
 
 (defn default-fn [tree]
   (let [result


                       (unify h21
                              root-is-head
                              {:rule "vp-future"
                               :synsem {:aux false
                                        :infl :future
                                        :cat :verb}}
                              vp-non-pronoun)

                       (unify h21
                              root-is-head
                              {:rule "vp-imperfetto"
                               :synsem {:aux false
                                        :infl :imperfetto
                                        :cat :verb}}
                              vp-non-pronoun)


                               :comp {:synsem {:cat :noun
                                               :pronoun true}}
                               :rule "vp-pronoun-phrasal"
                               :synsem {:cat :verb}})

                       (unify c21
                              root-is-head
