!(include training)

  !(dynamic (/ used-cl 1))


  (= 
    (map-sent $_ $Sent) 
    ( (ground $Sent) (set-det)))
  (= 
    (map-sent $Loc $Sent) 
    ( (var $Sent) 
      (length $Sent 9) 
      (map-sent $Loc $Sent)))
  (= 
    (map-sent $Loc 
      (Cons  $A 
        (Cons  $B 
          (Cons  $C 
            (Cons  $D $More))))) 
    ( (some-ngram $Loc $A $B $C $D $Fire) (map-sent $Loc (Cons  $C (Cons  $D $More)))))
  (= 
    (map-sent $Loc 
      (Cons  $A 
        (Cons  $B 
          (Cons  $C 
            (Cons  $D $More))))) 
    ( (some-ngram $Loc $A $B $C $_ $Fire) (map-sent $Loc (Cons  $B (Cons  $C (Cons  $D $More))))))
  (= 
    (map-sent $Loc $List) 
    ( (= $ABCDO 
        (:: $_ $_ $_ $_ $Occurs)) 
      (append $List $_ $ABCDO) 
      (apply some-ngram 
        (Cons  $Loc $ABCDO))))


  (= 
    (some-ngram $PrevLoc $A $B $C $D $N) 
    ( (ngram $Loc $A $B $C $D $N) (may-use $Loc $A $B $C $D $N)))



  !(style-check (- singleton))


  (= 
    (may-use $Loc $_ $B $C $D $_) 
    ( (not (used-cl (ngram $A $B $C $D))) 
      (assert 
        (used-cl (ngram $A $B $C $D)) $Cl2) 
      (undo (erase $Cl2)) 
      (set-det)))



  (= 
    (gen6 (= (:: $A $B $C $D $E $F $G $H) $N)) 
    ( (ngram $Loc1 $E $F $G $H $Z) 
      (ngram $Loc2 $C $D $E $F $Y) 
      (ngram $Loc3 $A $B $C $D $X) 
      (is $N 
        (+ 
          (+ $X $Y) $Z))))


  !fixup-exports