                                :head {:phrasal false
                                       :synsem {:aux false}}
                                :synsem {:aux false
-                                        :infl {:not :passato}
                                         :cat :verb}})
                        (unify h10
                               root-is-comp

                               :rule "s-aux"
                               :synsem {:cat :verb}})

                       ;; TODO: consolidate s-future-(non)phrasal,s-conditional-(non)phrasal,etc
                       ;; into fewer rules and use a default rule to choose among them.
                       (unify c10
                              root-is-head-root
                              {:rule "s-future-phrasal"
                               :head {:phrasal true}
                               :synsem {:aux false
                                        :infl :future
                                        :cat :verb
                                        :sem {:tense :future}}})
                       (unify c10
                              root-is-head-root
                              {:rule "s-conditional-phrasal"
                               :head {:phrasal true}
                               :synsem {:aux false
                                        :infl :conditional
                                        :cat :verb
                                        :sem {:tense :conditional}}})
                       (unify c10
                              root-is-head-root
                              {:rule "s-imperfetto-phrasal"
                               :head {:phrasal true}
                               :synsem {:aux false
                                        :infl :imperfetto
                                        :cat :verb
                                        :sem {:aspect :progressive
                                              :tense :past}}})

                       (unify c10
                              root-is-head
                              {:rule "sentence-nonphrasal-head"
                               :head {:phrasal false}
                               :synsem {:cat :verb}})

                       (unify c10
                              root-is-head-root
                              {:rule "s-present-phrasal"
                               :head {:phrasal true}
                               :synsem {:aux false
                                        :infl :present
                                        :cat :verb
                                        :sem {:aspect :simple
                                              :tense :present}}})
                       (unify h21
                              root-is-head
                              {:rule "vp-infinitive"

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

                       (unify c21
                              root-is-head
