(defcc <sent>
   <np> <vp>;)

(defcc <np>
    <name>;   <det> <n>;)

(defcc <name>
    "John";  "Bill";)

(defcc <det>
  "a"; "that"; "the";)

(defcc <n>
   "ball"; "girl";)

(defcc <vp>
  <vtrans> <np>;  <vintrans>;)

(defcc <vtrans>
  "kicks"; "likes";)

(defcc <vintrans>
  "jumps";)
  
(compile (fn <sent>) ["the" "girl" "likes" "the" "ball"])  

(defcc <asbs>
   <as> <bs> := (= (length <as>) (length <bs>));)

(defcc <as>
   a <as>;
   a;)

(defcc <bs>
  b <bs>; 
  b;)
 

(compile (fn <asbs>) [a a a b b b])
(compile (fn <asbs>) [a a a b b b b])

(defcc <asbs>
         <as> <bs> := (= <as> <bs>);)
         
(defcc <as>
        a <as> := (+ 1 <as>);
        a := 1;)
        
(defcc <bs>
  b <bs> := (+ 1 <bs>);
         b := 1;)
         
(compile (fn <asbs>) [a a a a a b b b b b])
(compile (fn <asbs>) [a a a a a b b b b b])
(compile (fn <asbs>) [a a a c b b b b])