diff options
Diffstat (limited to 'examples/phrasebook/SentencesI.gf')
| -rw-r--r-- | examples/phrasebook/SentencesI.gf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/phrasebook/SentencesI.gf b/examples/phrasebook/SentencesI.gf index f871c7d06..334b7e92a 100644 --- a/examples/phrasebook/SentencesI.gf +++ b/examples/phrasebook/SentencesI.gf @@ -133,6 +133,9 @@ incomplete concrete SentencesI of Sentences = Numeral ** ABePlace p place = mkCl p.name place.at ; ByTransp t = t.by ; + AKnowSentence p s = mkCl p.name Lexicon.know_VS s ; + AKnowPerson p q = mkCl p.name Lexicon.know_V2 q.name ; + oper -- These operations are used internally in Sentences. |
