5 files changed, 7 insertions, 11 deletions
diff --git a/examples/regulus/toy0/Toy0.gf b/examples/regulus/toy0/Toy0.gf
index ed0ba51e8..00c7ed0a4 100644
--- a/examples/regulus/toy0/Toy0.gf
+++ b/examples/regulus/toy0/Toy0.gf
@@ -2,13 +2,12 @@ abstract Toy0 = {
 
 -- grammar from Chapter 2 of the Regulus book
 
-flags startcat=MAIN ;
+flags startcat=NP ;
 
 cat 
-  MAIN ; NP ; Noun ; Spec ;
+  NP ; Noun ; Spec ;
 
 fun
-  Main : NP -> MAIN ;
   SpecNoun : Spec -> Noun -> NP ;
 
   One, Two : Spec ;
diff --git a/examples/regulus/toy0/Toy0Eng.gf b/examples/regulus/toy0/Toy0Eng.gf
index 68e2e4c07..977fb09c5 100644
--- a/examples/regulus/toy0/Toy0Eng.gf
+++ b/examples/regulus/toy0/Toy0Eng.gf
@@ -6,10 +6,9 @@ param
 lincat
   Spec = {s : Str ; n : Number} ;
   Noun = {s : Number => Str} ;
-  MAIN,NP = {s : Str} ;
+  NP = {s : Str} ;
 
 lin
-  Main np = np ;
   SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
 
   One = {s = "one" ; n = Sg} ;
diff --git a/examples/regulus/toy0/Toy0Fre.gf b/examples/regulus/toy0/Toy0Fre.gf
index 425c85af0..c5267ae18 100644
--- a/examples/regulus/toy0/Toy0Fre.gf
+++ b/examples/regulus/toy0/Toy0Fre.gf
@@ -7,10 +7,9 @@ param
 lincat
   Spec = {s : Gender => Str ; n : Number} ;
   Noun = {s : Number => Str ; g : Gender} ;
-  MAIN,NP = {s : Str} ;
+  NP = {s : Str} ;
 
 lin
-  Main np = np ;
   SpecNoun spec noun = {s = spec.s ! noun.g ++ noun.s ! spec.n} ;
 
   One = {s = table {Fem => "une" ; _ => "un"} ; n = Sg} ;
diff --git a/examples/regulus/toy0/Toy0I.gf b/examples/regulus/toy0/Toy0I.gf
index 3d206d612..7610816d7 100644
--- a/examples/regulus/toy0/Toy0I.gf
+++ b/examples/regulus/toy0/Toy0I.gf
@@ -3,12 +3,10 @@ incomplete concrete Toy0I of Toy0 = open Syntax, Lexicon in {
 lincat
   Spec = Det ;
   Noun = N ;
-  NP   = Syntax.NP ;
-  MAIN = Utt ;
+  NP   = Utt ;
 
 lin
-  Main np = mkUtt np ;
-  SpecNoun spec noun = mkNP spec noun ;
+  SpecNoun spec noun = mkUtt (mkNP spec noun) ;
 
   One = mkDet one_Quant ;
   Two = mkDet (mkNum n2_Numeral) ;
diff --git a/examples/regulus/toy0/toy0.gfprobs b/examples/regulus/toy0/toy0.gfprobs
new file mode 100644
index 000000000..7c97562e2
--- /dev/null
+++ b/examples/regulus/toy0/toy0.gfprobs
@@ -0,0 +1 @@
+--# prob Felis 0.9