1
0
forked from GitHub/gf-rgl

topological model in Scand main branch

This commit is contained in:
aarne
2005-03-04 15:56:48 +00:00
parent 0b2b81217e
commit 8a61dc4720
14 changed files with 165 additions and 67 deletions

View File

@@ -9,7 +9,7 @@ incomplete concrete ClauseI of Clause = open Rules, Verbphrase in {
SPredV np v = PredVP np (UseV v) ;
SPredPassV np v = PredVP np (UsePassV v) ;
SPredV2 np v x = PredVP np (ComplV2 v x) ;
---- SPredV3 np v x y = PredVP np (ComplV3 v x y) ;
SPredV3 np v x y = PredVP np (ComplV3 v x y) ;
SPredReflV2 np v = PredVP np (ComplReflV2 v) ;
SPredVS np v x = PredVP np (ComplVS v x) ;
SPredVV np v x = PredVP np (ComplVV v x) ;