 ;; H subcat<1,2,3>  C[3]
 (def subcat-5-principle
   ;; we specify {:cat :top} rather than simply :top
-  ;; because we want to prevent matching with '()
+  ;; because we want to prevent matching with []
   ;; that is, a verb which only subcats for :1 and 2: (transitive)
-  ;; would match :3 because (unify '() :top) => :top,
+  ;; would match :3 because (unify [] :top) => :top,
   ;; and would fit in here erroneously.
   ;; This is prevented by {:cat :top},
-  ;; because (unify '() {:cat :top}) => :fail.
+  ;; because (unify [] {:cat :top}) => :fail.
   (let [subcat-1 (atom {:cat :top})
         subcat-2 (atom {:cat :top})
         subcat-3 (atom {:cat :top})]

     :comp {:synsem subcat-3}
     :synsem {:subcat {:1 subcat-1
                       :2 subcat-2
                       :3 '()}}}))

(def head-semantics
  (let [semantics (atom :top)]

;; 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<>
