added PassAgentV2 to App, and the specialized syntax functions to app.probs

This commit is contained in:
aarne
2016-06-05 17:48:11 +00:00
parent 99a2902da9
commit 0c3268bbfd
3 changed files with 12 additions and 6 deletions

View File

@@ -39,6 +39,7 @@ lin
PassV2 v2 = passiveVP v2 ;
PassAgentV2 v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ;
RelV2 rp np v2 = mkRCl rp (mkClSlash np (mkVPSlash v2)) ;
QuestV2 ip np v2 = mkQCl ip (mkClSlash np (mkVPSlash v2)) ;