summaryrefslogtreecommitdiff
path: root/examples/phrasebook
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook')
-rw-r--r--examples/phrasebook/SentencesIta.gf5
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/phrasebook/SentencesIta.gf b/examples/phrasebook/SentencesIta.gf
index d76107579..157e18b2f 100644
--- a/examples/phrasebook/SentencesIta.gf
+++ b/examples/phrasebook/SentencesIta.gf
@@ -1,6 +1,6 @@
concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [
IFemale, YouFamFemale, YouPolFemale, IMale, YouFamMale, YouPolMale,
- mkPerson, Superlative
+ mkPerson, Superlative, SHaveNoMass
]
with
(Syntax = SyntaxIta),
@@ -26,6 +26,8 @@ concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [
YouPolMale =
{name = mkNP (ProDrop youPol_Pron) ; isPron = True ; poss = PossFamQuant youPol_Pron} ;
+ SHaveNoMass p k = mkS negativePol (mkCl p.name (ComplCN have_V2 k)) ;
+
oper
CNPlace : Type = {name : CN ; at : Prep ; to : Prep } ;
@@ -46,6 +48,7 @@ concrete SentencesIta of Sentences = NumeralIta ** SentencesI - [
mkPerson : Pron -> {name : NP ; isPron : Bool ; poss : Quant} = \p ->
{name = mkNP p ; isPron = True ; poss = PossFamQuant p} ;
+
}