   (let [comp-synsem (atom {:cat :top})
         parent-subcat (atom {:cat :top})]
     {:synsem {:subcat {:1 parent-subcat
-                       :2 '()}}
+                       :2 []}}
      :head {:synsem {:subcat {:1 parent-subcat
                               :2 comp-synsem
-                              :3 '()}}}
+                              :3 []}}}
      :comp {:synsem comp-synsem}}))
 
 ;;     subcat<1,3>

;; H subcat<1>  C[1]
(def subcat-1-principle
  (let [comp-synsem (atom :top)]
    {:synsem {:subcat '()}
     :head {:synsem {:subcat {:1 comp-synsem
                              :2 '()}}}
     :comp {:synsem comp-synsem}}))

;;     subcat<>

;; H subcat<1>  C[1]
(def subcat-1-principle-no-complement-subcat-restrictions
  (let [comp-synsem (atom {:subcat :top})]
    {:synsem {:subcat []}
     :head {:synsem {:subcat {:1 comp-synsem
                              :2 []}}}
     :comp {:synsem comp-synsem}}))

;;     subcat<1>
