summaryrefslogtreecommitdiff
path: root/examples/tutorial/smart/SmartI.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/tutorial/smart/SmartI.gf')
-rw-r--r--examples/tutorial/smart/SmartI.gf44
1 files changed, 0 insertions, 44 deletions
diff --git a/examples/tutorial/smart/SmartI.gf b/examples/tutorial/smart/SmartI.gf
deleted file mode 100644
index b881570d6..000000000
--- a/examples/tutorial/smart/SmartI.gf
+++ /dev/null
@@ -1,44 +0,0 @@
---# -path=.:present:prelude
-
-incomplete concrete SmartI of Smart = open Syntax, LexSmart, Prelude in {
-
--- grammar Toy1 from the Regulus book
-
-flags startcat = Utterance ;
-
-lincat
- Utterance = Utt ;
- Command = Imp ;
- Question = QS ;
- Kind = N ;
- Action = V2 ;
- Device = NP ;
- Location = N ;
- Switchable = {} ;
- Dimmable = {} ;
- Statelike = {} ;
-
-lin
- UCommand c = mkUtt politeImpForm c ;
- UQuestion q = mkUtt q ;
-
- CAction _ act dev = mkImp act dev ;
- QAction _ act _ dev =
- mkQS anteriorAnt (mkQCl (mkCl dev (passiveVP act))) ;
-
- DKindOne k = mkNP the_Det k ;
- DKindMany k = mkNP thePl_Det k ;
- DLoc _ dev loc = mkNP dev (mkAdv in_Prep (mkNP the_Det loc)) ;
-
- light = light_N ;
- fan = fan_N ;
-
- switchOn _ _ = switchOn_V2 ;
- switchOff _ _ = switchOff_V2 ;
-
- dim _ _ = dim_V2 ;
-
- kitchen = kitchen_N ;
- livingRoom = livingRoom_N ;
-
-}