forked from GitHub/gf-core
small fixes in Phrasebook, particularly PSeeYouPlaceDate
This commit is contained in:
@@ -157,8 +157,11 @@ abstract Words = Sentences ** {
|
|||||||
PropOpenDay : Place -> Day -> Proposition ; -- the museum is open on Mondays
|
PropOpenDay : Place -> Day -> Proposition ; -- the museum is open on Mondays
|
||||||
PropClosedDay : Place -> Day -> Proposition ; -- the museum is closed on Mondays
|
PropClosedDay : Place -> Day -> Proposition ; -- the museum is closed on Mondays
|
||||||
|
|
||||||
PSeeYou : Date -> Phrase ; -- see you on Monday
|
PSeeYouPlaceDate : Place -> Date -> Phrase ; -- see you in the bar on Monday
|
||||||
PSeeYouPlace : Place -> Date -> Phrase ; -- see you in the bar on Monday
|
PSeeYouPlace : Place -> Phrase ; -- see you in the bar
|
||||||
|
PSeeYouDate : Date -> Phrase ; -- see you on Monday
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
-- family relations
|
-- family relations
|
||||||
|
|
||||||
|
|||||||
@@ -161,8 +161,10 @@ ik ga te voet/ ik ga lopend
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("tot"))) (mkPhrase (mkUtt d)) ; -- zie je / tot
|
PSeeYouDate d = mkText (lin Text (ss ("tot"))) (mkPhrase (mkUtt d)) ; -- zie je / tot
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlace p =
|
||||||
|
mkText (lin Text (ss ("tot ziens"))) (mkPhrase (mkUtt p.at)) ; -- tot ziens in p (AR)
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("tot")))
|
mkText (lin Text (ss ("tot")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ; --tot ... op/in/bij
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ; --tot ... op/in/bij
|
||||||
|
|
||||||
@@ -208,7 +210,7 @@ ik ga te voet/ ik ga lopend
|
|||||||
HowFarFromBy x y t =
|
HowFarFromBy x y t =
|
||||||
mkQS (mkQCl long_IAdv (mkNP (mkNP y.name (SyntaxDut.mkAdv from_Prep x.name)) t)) ;
|
mkQS (mkQCl long_IAdv (mkNP (mkNP y.name (SyntaxDut.mkAdv from_Prep x.name)) t)) ;
|
||||||
--hoelang duurt het om van het vliegveld naar het hotel te gaan per taxi
|
--hoelang duurt het om van het vliegveld naar het hotel te gaan per taxi
|
||||||
HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t.by)) ; --hoe ver is het museum per bus
|
HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t)) ; --hoe ver is het museum per bus
|
||||||
|
|
||||||
WhichTranspPlace trans place =
|
WhichTranspPlace trans place =
|
||||||
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
||||||
|
|||||||
@@ -164,8 +164,9 @@ concrete WordsEng of Words = SentencesEng **
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
|
PSeeYouDate d = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt d)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlace p = mkText (lin Text (ss ("see you"))) (mkPhrase (mkUtt p.at)) ;
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("see you")))
|
mkText (lin Text (ss ("see you")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
@@ -209,7 +210,7 @@ concrete WordsEng of Words = SentencesEng **
|
|||||||
HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxEng.mkAdv from_Prep x.name))) ;
|
HowFarFrom x y = mkQS (mkQCl far_IAdv (mkNP y.name (SyntaxEng.mkAdv from_Prep x.name))) ;
|
||||||
HowFarFromBy x y t =
|
HowFarFromBy x y t =
|
||||||
mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxEng.mkAdv from_Prep x.name)) t)) ;
|
mkQS (mkQCl far_IAdv (mkNP (mkNP y.name (SyntaxEng.mkAdv from_Prep x.name)) t)) ;
|
||||||
HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t.by)) ;
|
HowFarBy y t = mkQS (mkQCl far_IAdv (mkNP y.name t)) ;
|
||||||
|
|
||||||
WhichTranspPlace trans place =
|
WhichTranspPlace trans place =
|
||||||
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
||||||
|
|||||||
@@ -164,8 +164,9 @@ concrete WordsFin of Words = SentencesFin **
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("nähdään"))) (mkPhrase (mkUtt d)) ;
|
PSeeYouDate d = mkText (lin Text (ss ("nähdään"))) (mkPhrase (mkUtt d)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlace p = mkText (lin Text (ss ("nähdään"))) (mkPhrase (mkUtt p.at)) ;
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("nähdään")))
|
mkText (lin Text (ss ("nähdään")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
@@ -203,12 +204,12 @@ concrete WordsFin of Words = SentencesFin **
|
|||||||
mkQS (mkQCl far_IAdv (mkCl place.name t)) ;
|
mkQS (mkQCl far_IAdv (mkCl place.name t)) ;
|
||||||
-- mkQS (mkQCl (mkIAdv far_IAdv t) y.name) ;
|
-- mkQS (mkQCl (mkIAdv far_IAdv t) y.name) ;
|
||||||
|
|
||||||
---- TODO: meneekö keskustaan busseja
|
|
||||||
WhichTranspPlace trans place =
|
WhichTranspPlace trans place =
|
||||||
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
||||||
|
|
||||||
IsTranspPlace trans place =
|
IsTranspPlace trans place =
|
||||||
mkQS (mkQCl (mkCl (mkCN trans.name place.to))) ;
|
mkQS (mkQCl (E.AdvPredNP place.to L.go_V (E.PartCN (trans.name)))) ;
|
||||||
|
-- meneekö keskustaan bussia
|
||||||
|
|
||||||
-- modifiers of places
|
-- modifiers of places
|
||||||
|
|
||||||
|
|||||||
@@ -124,8 +124,9 @@ lin
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("on se verra"))) (mkPhrase (mkUtt d)) ;
|
PSeeYouPlace p = mkText (lin Text (ss ("on se verra"))) (mkPhrase (mkUtt p.at)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouDate d = mkText (lin Text (ss ("on se verra"))) (mkPhrase (mkUtt d)) ;
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("on se verra")))
|
mkText (lin Text (ss ("on se verra")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
|
|||||||
@@ -110,8 +110,8 @@ concrete WordsGer of Words = SentencesGer **
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
-- PSeeYou d = mkText (lin Text (ss ("auf Wiedersehen"))) (mkPhrase (mkUtt d)) ;
|
-- PSeeYouDate d = mkText (lin Text (ss ("auf Wiedersehen"))) (mkPhrase (mkUtt d)) ;
|
||||||
-- PSeeYouPlace p d =
|
-- PSeeYouPlaceDate p d =
|
||||||
-- mkText (lin Text (ss ("auf Wiedersehen")))
|
-- mkText (lin Text (ss ("auf Wiedersehen")))
|
||||||
-- (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
-- (mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
|
|||||||
@@ -124,8 +124,9 @@ lin
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("ci vediamo"))) (mkPhrase (mkUtt d)) ;
|
PSeeYouDate d = mkText (lin Text (ss ("ci vediamo"))) (mkPhrase (mkUtt d)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlace p = mkText (lin Text (ss ("ci vediamo"))) (mkPhrase (mkUtt p.at)) ;
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("ci vediamo")))
|
mkText (lin Text (ss ("ci vediamo")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
|
|||||||
@@ -123,7 +123,7 @@ concrete WordsRon of Words = SentencesRon ** open
|
|||||||
HowFarFrom x y = mkQS (mkQCl how8much_IAdv (mkNP (mkDestination y.name) (SyntaxRon.mkAdv from_Prep x.name))) ;
|
HowFarFrom x y = mkQS (mkQCl how8much_IAdv (mkNP (mkDestination y.name) (SyntaxRon.mkAdv from_Prep x.name))) ;
|
||||||
HowFarFromBy x y t =
|
HowFarFromBy x y t =
|
||||||
mkQS (mkQCl how8much_IAdv (mkNP (mkNP (mkDestination y.name) (SyntaxRon.mkAdv from_Prep x.name)) t)) ;
|
mkQS (mkQCl how8much_IAdv (mkNP (mkNP (mkDestination y.name) (SyntaxRon.mkAdv from_Prep x.name)) t)) ;
|
||||||
HowFarBy y t = mkQS (mkQCl how8much_IAdv (mkNP (mkDestination y.name) t.by)) ;
|
HowFarBy y t = mkQS (mkQCl how8much_IAdv (mkNP (mkDestination y.name) t)) ;
|
||||||
|
|
||||||
WhichTranspPlace trans place =
|
WhichTranspPlace trans place =
|
||||||
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
|
||||||
@@ -176,10 +176,11 @@ concrete WordsRon of Words = SentencesRon ** open
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text {s = ("ne" ++ "vedem")}) (mkPhrase (mkUtt d)) ;
|
PSeeYouDate d = mkText (lin Text {s = ("ne" ++ "vedem")}) (mkPhrase (mkUtt d)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text { s = ("ne" ++ "vedem")})
|
mkText (lin Text { s = ("ne" ++ "vedem")})
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
PSeeYouPlace p = mkText (lin Text {s = ("ne" ++ "vedem")}) (mkPhrase (mkUtt p.at)) ;
|
||||||
|
|
||||||
-- Relations are expressed as "my wife" or "the wife of my son", as defined by $xOf$
|
-- Relations are expressed as "my wife" or "the wife of my son", as defined by $xOf$
|
||||||
-- below. Languages with productive genitives can use an equivalent of
|
-- below. Languages with productive genitives can use an equivalent of
|
||||||
|
|||||||
@@ -159,8 +159,9 @@ concrete WordsSwe of Words = SentencesSwe **
|
|||||||
-- Building phrases from strings is complicated: the solution is to use
|
-- Building phrases from strings is complicated: the solution is to use
|
||||||
-- mkText : Text -> Text -> Text ;
|
-- mkText : Text -> Text -> Text ;
|
||||||
|
|
||||||
PSeeYou d = mkText (lin Text (ss ("vi ses"))) (mkPhrase (mkUtt d)) ;
|
PSeeYouDate d = mkText (lin Text (ss ("vi ses"))) (mkPhrase (mkUtt d)) ;
|
||||||
PSeeYouPlace p d =
|
PSeeYouPlace p = mkText (lin Text (ss ("vi ses"))) (mkPhrase (mkUtt p.at)) ;
|
||||||
|
PSeeYouPlaceDate p d =
|
||||||
mkText (lin Text (ss ("vi ses")))
|
mkText (lin Text (ss ("vi ses")))
|
||||||
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
(mkText (mkPhrase (mkUtt p.at)) (mkPhrase (mkUtt d))) ;
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user