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
|
||||
|
||||
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
|
||||
|
||||
|
||||
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user