                  (if-then {:synsem {:cat :verb
                                     :sem {:reflexive false}}}
                           {:synsem {:sem {:reflexive false}}})
+
+                 ;; if not(aux), then aux=false
+                 (if-then {:synsem {:cat :verb
+                                    :aux false}}
+                          {:synsem {:aux false}})
                  
                  ;; subject-and-reflexive-pronoun agreement
                  (if-then {:synsem {:sem {:reflexive true}

                          (let [subject-agr (atom :top)]
                            {:synsem {:subcat {:1 {:agr subject-agr}
                                               :2 {:agr subject-agr}}}}))))
                                


   "guess" {:synsem {:cat :verb
                     :sem {:pred :guess}}}
   
   ;; TODO: add auxiliary sense of "have"
   "have" {:synsem {:cat :verb
                    :sem {:activity false
                          :discrete false
