constructor for combining two Texts; Synopsis for new version of resource

This commit is contained in:
aarne
2007-12-18 21:02:01 +00:00
parent 655c2dce62
commit 3f704af390
3 changed files with 247 additions and 108 deletions

View File

@@ -77,7 +77,12 @@ incomplete resource Constructors = open Grammar in {
mkText : S -> Text ; -- 4. John walked.
mkText : Cl -> Text ; -- 5. John walks.
mkText : QS -> Text ; -- 6. Did John walk?
mkText : Imp -> Text -- 7. Walk!
mkText : Imp -> Text ; -- 7. Walk!
-- Finally, two texts can be combined into a text.
mkText : Text -> Text -> Text ; -- 8. Where? When? Here. Now!
} ;
-- A text can also be empty.
@@ -1452,7 +1457,8 @@ incomplete resource Constructors = open Grammar in {
mkText : Pol -> Imp -> Text
= \p,i -> TExclMark (PhrUtt NoPConj (UttImpSg p i) NoVoc) TEmpty;
mkText : Phr -> Text -> Text -- John walks. ...
= TFullStop
= TFullStop ;
mkText : Text -> Text -> Text = \t,u -> {s = t.s ++ u.s ; lock_Text = <>} ;
} ;
mkVP = overload {