forked from GitHub/gf-rgl
corrected the formal subject of ExistsNP in Fre
This commit is contained in:
@@ -161,7 +161,7 @@ lin UseDAP = \dap ->
|
||||
} ;
|
||||
|
||||
ExistsNP np =
|
||||
mkClause [] True False np.a
|
||||
mkClause "il" True False np.a
|
||||
(insertComplement (\\_ => (np.s ! Nom).ton)
|
||||
(predV (mkV "exister"))) ;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user