1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
abstract Toy0 = { -- grammar from Chapter 2 of the Regulus book flags startcat=MAIN ; cat MAIN ; NP ; Noun ; Spec ; fun Main : NP -> MAIN ; SpecNoun : Spec -> Noun -> NP ; One, Two : Spec ; Felis, Canis : Noun ; }