embedded questions in phrasebook

examples/phrasebook/Sentences.gf

@@ -70,7 +70,8 @@ abstract Sentences = Numeral ** {
 
 -- This is the way to build propositions about inanimate items.
 
-    Is       : Item -> Quality -> Proposition ;  -- this pizza is good
+    Is     : Item -> Quality -> Proposition ;      -- this pizza is good
+    IsMass : MassKind -> Quality -> Proposition ;  -- Belgian beer is good
 
 -- To use propositions on higher levels.
 
@@ -146,10 +147,8 @@ abstract Sentences = Numeral ** {
     ByTransp : Transport -> ByTransport ;          -- by bus
 
     AKnowSentence : Person -> Sentence -> Action ; -- you know that I am in the bar
-    AKnowPerson   : Person -> Person   -> Action ;   -- you know me
+    AKnowPerson   : Person -> Person   -> Action ; -- you know me
-
+    AKnowQuestion : Person -> Question -> Action ; -- you know how far the bar is
--- in Words, as long as Lexicon doesn't have it
---    AKnowQuestion : Person -> Question -> Action ; -- you know how far the bar is
 
 }
 

examples/phrasebook/SentencesCat.gf

@@ -1,4 +1,5 @@
 concrete SentencesCat of Sentences = NumeralCat ** SentencesI - [
+  IsMass,
   IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
   WherePlace, WherePerson, ABePlace,
   Superlative
@@ -15,6 +16,7 @@ lincat
   Superlative = OrdSuperlative ; -- {ord: Ord ; isPre: Bool}
 
 lin
+      IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
 
   IFemale = 
     {name = mkNP (ProDrop i8fem_Pron) ; isPron = True ; poss = mkQuant i_Pron} ; 
@@ -61,4 +63,4 @@ oper
        at = SyntaxCat.mkAdv kind.at name ;
        to = SyntaxCat.mkAdv kind.to name ;
      };
-}
+}

examples/phrasebook/SentencesFin.gf

@@ -1,5 +1,5 @@
 concrete SentencesFin of Sentences = NumeralFin ** SentencesI - 
-  [Is, NameNN, ObjMass,
+  [Is, IsMass, NameNN, ObjMass,
    IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale
   ] with 
   (Syntax = SyntaxFin),
@@ -7,7 +7,8 @@ concrete SentencesFin of Sentences = NumeralFin ** SentencesI -
   (Lexicon = LexiconFin) ** open SyntaxFin, ExtraFin, (P = ParadigmsFin), (V = VerbFin) in {
 
   lin 
-    Is item prop = mkCl item (V.UseComp (CompPartAP prop)) ; -- pizza on herkullista
+    Is item prop = mkCl item (V.UseComp (CompPartAP prop)) ; -- tämä pizza on herkullista
+    IsMass mass prop = mkCl (mkNP a_Det mass) (V.UseComp (CompPartAP prop)) ; -- pizza on herkullista
     NameNN = mkNP (P.mkPN (P.mkN "NN" "NN:iä")) ;
 
     IMale, IFemale = 

examples/phrasebook/SentencesFre.gf

@@ -1,4 +1,5 @@
 concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
+  IsMass,
   QProp,
   IFemale, YouFamFemale, YouPolFemale,
   PYesToNo,
@@ -14,6 +15,7 @@ concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
     lincat
       Superlative = {s : Ord ; isPre : Bool} ;
     lin 
+      IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
       QProp a = 
         lin QS {s = \\_ => (EstcequeS (mkS a)).s} ;
       IFemale = 

examples/phrasebook/SentencesI.gf

@@ -63,6 +63,7 @@ incomplete concrete SentencesI of Sentences = Numeral **
     PYesToNo = mkPhrase yes_Utt ;
 
     Is = mkCl ;
+    IsMass m q = mkCl (mkNP m) q ;
 
     SProp = mkS ;
     SPropNot = mkS negativePol ;
@@ -134,6 +135,7 @@ incomplete concrete SentencesI of Sentences = Numeral **
     ByTransp t = t.by ;
 
     AKnowSentence p s = mkCl p.name Lexicon.know_VS s ;
+    AKnowQuestion p s = mkCl p.name Lexicon.know_VQ s ;
     AKnowPerson p q = mkCl p.name Lexicon.know_V2 q.name ;
 
 oper 

examples/phrasebook/SentencesIta.gf

@@ -1,4 +1,5 @@
 concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [
+  IsMass,
   IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
   mkPerson, Superlative, SHaveNoMass
  ] 
@@ -13,6 +14,8 @@ concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [
      Superlative = {s : A ; isPre : Bool} ;
  
     lin 
+      IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
+
       IFemale = 
         {name = mkNP (ProDrop i8fem_Pron) ; isPron = True ; poss = PossFamQuant i_Pron} ; 
       YouFamFemale = 

examples/phrasebook/SentencesRon.gf

@@ -1,5 +1,6 @@
 
 concrete SentencesRon of Sentences = NumeralRon ** SentencesI - [
+  IsMass,
   IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
   ThePlace, Nationality, CitiNat, Citizenship, ACitizen, PCitizenship, PropCit
 ] 
@@ -39,6 +40,8 @@ lincat
    Citizenship = CitizenshipRon ;   
 
 lin 
+      IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
+
  IFemale = {name = mkNP i8fem_Pron ; isPron = True ; poss = mkQuant i_Pron} ; 
  YouFamFemale = {name = mkNP youSg8fem_Pron ; isPron = True ; poss = mkQuant youSg_Pron} ; 
  YouPolFemale = {name = mkNP youPol8fem_Pron ; isPron = True ; poss = mkQuant youPol_Pron};

examples/phrasebook/SentencesSpa.gf

@@ -1,4 +1,5 @@
 concrete SentencesSpa of Sentences = NumeralSpa ** SentencesI - [
+  IsMass,
   IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
   WherePlace, WherePerson, ABePlace,
   Superlative
@@ -16,6 +17,8 @@ flags coding = utf8 ;
 
     lin
 
+      IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
+
       IFemale = 
         {name = mkNP (ProDrop i8fem_Pron) ; isPron = True ; poss = mkQuant i_Pron} ; 
       YouFamFemale = 
@@ -69,4 +72,4 @@ oper
       at = SyntaxSpa.mkAdv kind.at name ;
       to = SyntaxSpa.mkAdv kind.to name ;
     };
-}
+}