From 03fb2af472e376aedadc4e8e386df24491c5d547 Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 29 Oct 2008 13:06:03 +0000 Subject: Remove superfluous RP argument to EmptyRelSlash. --- next-lib/src/abstract/Extra.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'next-lib/src/abstract') diff --git a/next-lib/src/abstract/Extra.gf b/next-lib/src/abstract/Extra.gf index b0601019f..fe893d958 100644 --- a/next-lib/src/abstract/Extra.gf +++ b/next-lib/src/abstract/Extra.gf @@ -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 -- cgit v1.2.3