forked from GitHub/gf-core
PP lists in Attempto via iteration
This commit is contained in:
@@ -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
|
-- John is more fond-of Mary than of Sue
|
||||||
|
|
||||||
cat PP ;
|
cat PP ;
|
||||||
cat [PP] {1} ;
|
--cat [PP] {1} ;
|
||||||
fun ppVP : [PP] -> VP ; -- John is in the garden in the morning
|
--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 prepPP : Prep -> NP -> PP ;
|
||||||
|
fun advPP : PP -> Adv ;
|
||||||
|
|
||||||
-- 2.3.5
|
-- 2.3.5
|
||||||
|
|
||||||
|
|||||||
@@ -160,13 +160,14 @@ lin more_thanVP ap np = mkVP (mkAP more_CAdv ap np) ;
|
|||||||
---- John is more fond-of Mary than of Sue
|
---- John is more fond-of Mary than of Sue
|
||||||
|
|
||||||
lincat PP = Adv ;
|
lincat PP = Adv ;
|
||||||
lincat [PP] = Adv ;
|
--lincat [PP] = Adv ;
|
||||||
|
|
||||||
lin BasePP p = p ;
|
--lin BasePP p = p ;
|
||||||
|
|
||||||
lin ppVP = mkVP ;
|
lin ppVP = mkVP ;
|
||||||
|
|
||||||
lin prepPP = mkAdv ;
|
lin prepPP = mkAdv ;
|
||||||
|
lin advPP p = p ;
|
||||||
|
|
||||||
-- 2.3.5
|
-- 2.3.5
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user