updates in Phrasebook and resources

2010-08-25 09:08:31 +00:00
parent d3a6866277
commit c67a50b869
5 changed files with 13 additions and 3 deletions
--- 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.