Remove superfluous RP argument to EmptyRelSlash.

This commit is contained in:
bjorn
2008-10-29 13:06:03 +00:00
parent fa061ce136
commit 0b2f87ee1f
4 changed files with 4 additions and 4 deletions

View File

@@ -11,7 +11,7 @@ abstract Extra = Cat ** {
ComplBareVS : VS -> S -> VP ; -- know you go
StrandRelSlash : RP -> ClSlash -> RCl ; -- that he lives in
EmptyRelSlash : RP -> ClSlash -> RCl ; -- he lives in
EmptyRelSlash : ClSlash -> RCl ; -- he lives in
StrandQuestSlash : IP -> ClSlash -> QCl ; -- whom does John live with
-- $VP$ conjunction, which has different fragments implemented in