restored some functions in PhrasebookDut to make it complete again

This commit is contained in:
aarne
2014-06-19 18:08:03 +00:00
parent 7e8bc5fd85
commit 66012e47bc
2 changed files with 7 additions and 4 deletions

View File

@@ -26,4 +26,5 @@ lin
GCongratulations = mkGreeting "gefeliciteerd";
GHappyBirthday = mkGreeting "gelukkige verjaardag" ;
GGoodLuck = mkGreeting "veel geluk" ;
GWhatTime = mkGreeting "hoe laat is het" ;
}

View File

@@ -2,7 +2,9 @@ concrete SentencesDut of Sentences = NumeralDut ** SentencesI -
[SHaveNo,SHaveNoMass,
Proposition,Action, Is, IsMass, SProp, SPropNot, QProp,
AHaveCurr, ACitizen, ABePlace, AKnowSentence, AKnowPerson, AKnowQuestion,
QDoHave, QWhereDoVerbPhrase, QModVerbPhrase, QWhereModVerbPhrase, SHave, SHaveNo,
---- QDoHave, QWhereDoVerbPhrase, QWhereModVerbPhrase, SHave,
SHaveNo,
QModVerbPhrase,
ADoVerbPhrase, AModVerbPhrase, ADoVerbPhrasePlace, AModVerbPhrasePlace]
with
(Syntax = SyntaxDut),
@@ -43,9 +45,9 @@ concrete SentencesDut of Sentences = NumeralDut ** SentencesI -
AModVerbPhrasePlace m p vp x = prop (mkCl p.name (mkVP m (mkVP vp x.at))) ;
-- the old things
-- lin
-- SHaveNo p k = mkS (mkCl p.name have_V2 (mkNP no_Quant plNum k)) ;
-- SHaveNoMass p k = mkS (mkCl p.name have_V2 (mkNP no_Quant k)) ;
lin
SHaveNo p k = mkS (mkCl p.name have_V2 (mkNP no_Quant plNum k)) ;
SHaveNoMass p k = mkS (mkCl p.name have_V2 (mkNP no_Quant k)) ;
}