 (def modified-false
   {:modified false})
 
-(def gen-impls
+(def reflexive-constraints
   [{:if #(and (= (get-in % [:synsem :sem :reflexive])
                  true)
               (= (get-in % [:synsem :sem :tense])

                                           comp-clampdown
                                           modified-false
                                           ])
                                  (rest gen-impls)
                                  model)
         (generation-implications spec (rest gen-impls) model)))
     spec)))



(defn generation-implications
  ([spec model]
   (generation-implications spec reflexive-constraints model))
  ([spec reflexive-constraints model]
   (if (not (empty? reflexive-constraints))
     (let [gen-impl (first reflexive-constraints)
           spec (roots-to-sem spec (:lexicon model))]
       (if ((:if gen-impl) spec)
         (generation-implications (reduce unify
