diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 17:20:38 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 17:20:38 +0000 |
| commit | 373b4d6828e0eba56e11cd5851591d303f369b43 (patch) | |
| tree | e74d85646610e4b4cbcb82cb70c9b8224bfccc5c /examples | |
| parent | 79c9ec116a0f5580a7965247e045ecfe59281e20 (diff) | |
PP lists in Attempto via iteration
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/attempto/Attempto.gf | 6 | ||||
| -rw-r--r-- | examples/attempto/AttemptoI.gf | 5 |
2 files changed, 7 insertions, 4 deletions
diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf index 9e9051df4..744652775 100644 --- a/examples/attempto/Attempto.gf +++ b/examples/attempto/Attempto.gf @@ -167,10 +167,12 @@ fun more_thanVP : AP -> NP -> VP ; -- John is as rich as Mary -- John is more fond-of Mary than of Sue cat PP ; -cat [PP] {1} ; -fun ppVP : [PP] -> VP ; -- John is in the garden in the morning +--cat [PP] {1} ; +--fun ppVP : [PP] -> VP ; -- John is in the garden in the morning +fun ppVP : PP -> VP ; -- iteration is done by advPP and modVP fun prepPP : Prep -> NP -> PP ; +fun advPP : PP -> Adv ; -- 2.3.5 diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf index 8d67e6c79..1dbdc448d 100644 --- a/examples/attempto/AttemptoI.gf +++ b/examples/attempto/AttemptoI.gf @@ -160,13 +160,14 @@ lin more_thanVP ap np = mkVP (mkAP more_CAdv ap np) ; ---- John is more fond-of Mary than of Sue lincat PP = Adv ; -lincat [PP] = Adv ; +--lincat [PP] = Adv ; -lin BasePP p = p ; +--lin BasePP p = p ; lin ppVP = mkVP ; lin prepPP = mkAdv ; +lin advPP p = p ; -- 2.3.5 |