summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-04-29 06:05:45 +0000
committeraarne <aarne@chalmers.se>2010-04-29 06:05:45 +0000
commit62d1a957489d54a530936715489093f21f3ebbd9 (patch)
treecefd0f7f92a87ff0ce2d13b7d8cce8e4ec9e7358
parentf23a03125722896068c33c5478e426c019d3b80d (diff)
used AdvIAdv to complete PhrasebookSwe
-rw-r--r--examples/phrasebook/WordsSwe.gf15
1 files changed, 8 insertions, 7 deletions
diff --git a/examples/phrasebook/WordsSwe.gf b/examples/phrasebook/WordsSwe.gf
index 002befb08..9d765fae0 100644
--- a/examples/phrasebook/WordsSwe.gf
+++ b/examples/phrasebook/WordsSwe.gf
@@ -186,13 +186,14 @@ concrete WordsSwe of Words = SentencesSwe **
-- transports
- HowFar place = mkQS (mkQCl (ExtraSwe.IAdvAdv L.far_Adv) place.name) ;
-{-
- HowFarFrom : Place -> Place -> Question ; -- how far is the center from the hotel ?
- HowFarFromBy : Place -> Place -> ByTransport -> Question ;
- -- how far is the airport from the hotel by taxi ?
- HowFarBy : Place -> Transport -> Question ; -- how far is the museum by bus ?
--}
+ HowFar place = mkQS (mkQCl far_IAdv place.name) ;
+ HowFarFrom x y = mkQS (mkQCl (mkIAdv far_IAdv (SyntaxSwe.mkAdv from_Prep x.name)) y.name) ;
+ HowFarFromBy x y t =
+ mkQS (mkQCl (mkIAdv (mkIAdv far_IAdv (SyntaxSwe.mkAdv from_Prep x.name)) t) y.name) ;
+ HowFarBy y t = mkQS (mkQCl (mkIAdv far_IAdv t.by) y.name) ;
+
+oper far_IAdv = ExtraSwe.IAdvAdv L.far_Adv ;
+lin
WhichTranspPlace trans place =
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;