Do not allow there is every-/no-

This greately improves precision.

Author: Kaljurand

grammars/acewiki_aceowl/Attempto.gf

@@ -13,7 +13,7 @@ cat A ;
 cat A2 ;
 cat AP ;
 cat RS ;
-cat Pron ; cat IndefPron ;
+cat Pron ; IndefPron ; IndefTherePron ;
 cat Prep ;
 cat S ; cat SimpleS ;
 cat VP ;
@@ -44,22 +44,23 @@ fun everyNP : VarCN -> NP ;
 
 fun pnNP : PN -> NP ;
 
--- [JJC]
-fun somebody_IPron : IndefPron ;
-fun something_IPron : IndefPron ;
+-- [JJC] [KK]
+-- - ACE and AceWiki do not allow 'there is every-'
+-- - AceWiki does not allow 'there is no-' (but ACE does)
+-- - ACE and AceWiki allow 'there is some-'
+fun somebody_IPron : IndefTherePron ;
+fun something_IPron : IndefTherePron ;
 fun everybody_IPron : IndefPron ;
 fun everything_IPron : IndefPron ;
 fun nobody_IPron : IndefPron ;
 fun nothing_IPron : IndefPron ;
 
--- [JJC]
--- [KK] TODO: Currently indefinite pronouns can be used with 'there is/are' but
--- the reality is more complex:
--- - ACE and AceWiki do not allow 'there is every-'
--- - AceWiki does not allow 'there is no-' (but ACE does)
--- - ACE and AceWiki allow 'there is some-'
-fun indefPronNP : IndefPron -> ThereNP ;
-fun indefPronVarNP : IndefPron -> Var -> ThereNP ;
+-- [JJC] [KK]
+fun indefTherePronNP : IndefTherePron -> ThereNP ;
+fun indefPronNP : IndefPron -> NP ;
+
+fun indefTherePronVarNP : IndefTherePron -> Var -> ThereNP ;
+fun indefPronVarNP : IndefPron -> Var -> NP ;
 
 fun at_leastNP : Card -> VarCN -> ThereNP ;
 fun at_mostNP : Card -> VarCN -> ThereNP ;
@@ -164,8 +165,8 @@ fun neg_slash_ipQS : IP -> NP -> V2 -> QS ;
 --fun vpq_QS : NP -> IP -> QS ; -- "Mary is who ?"
 --fun vpq_QS : NP -> V2 -> IP -> QS ; -- "Mary asks who ?"
 
-fun is_NPQ : IndefPron -> IP -> NPQ ; -- "somebody who is who"
-fun v2_NPQ : IndefPron -> V2 -> IP -> NPQ ; -- "somebody who asks who"
+fun is_ThereNPQ : IndefTherePron -> IP -> NPQ ; -- "somebody who is who"
+fun v2_ThereNPQ : IndefTherePron -> V2 -> IP -> NPQ ; -- "somebody who asks who"
 fun is_vpq_QS : NP -> NPQ -> QS ; -- "Mary is somebody who is/asks who ?"
 fun v2_vpq_QS : NP -> V2 -> NPQ -> QS ; -- "Mary asks somebody who is/asks who ?"
 

grammars/acewiki_aceowl/AttemptoAce.gf

@@ -1,6 +1,6 @@
 --# -path=.:present
 
-concrete AttemptoAce of Attempto = SymbolsC [Term], NumeralAce ** AttemptoI - [slash_ipQS, neg_slash_ipQS, apposVarCN, indefPronVarNP] with
+concrete AttemptoAce of Attempto = SymbolsC [Term], NumeralAce ** AttemptoI - [slash_ipQS, neg_slash_ipQS, apposVarCN, indefTherePronVarNP, indefPronVarNP] with
   (Syntax = SyntaxAce),
   (Symbolic = SymbolicAce),
   (LexAttempto = LexAttemptoAce) ** open SyntaxAce, ExtraAce, ResAce, SentenceAce, Precedence in {
@@ -25,8 +25,9 @@ concrete AttemptoAce of Attempto = SymbolsC [Term], NumeralAce ** AttemptoI - [s
       } ;
 
   -- Using IP in a VP to form a QS [JJC]
-  lin is_NPQ somebody who = Syntax.mkNP (thereNP_as_NP (indefPronNP somebody)) (predRS AttemptoAce.which_RP (npVP (ip2np who somebody.a))) ; -- "somebody who is who"
-  lin v2_NPQ somebody v2 who = Syntax.mkNP (thereNP_as_NP (indefPronNP somebody)) (predRS AttemptoAce.which_RP (v2VP v2 (ip2np who somebody.a))) ; -- "somebody who asks who"
+  lin is_ThereNPQ somebody who = Syntax.mkNP (thereNP_as_NP (indefTherePronNP somebody)) (predRS AttemptoAce.which_RP (npVP (ip2np who somebody.a))) ; -- "somebody who is who"
+  lin v2_ThereNPQ somebody v2 who = Syntax.mkNP (thereNP_as_NP (indefTherePronNP somebody)) (predRS AttemptoAce.which_RP (v2VP v2 (ip2np who somebody.a))) ; -- "somebody who asks who"
+
   lin is_vpq_QS np npq = lin QS { -- "Mary is somebody who is/asks who ?"
     s = \\qf => (mkCl np npq).s ! Pres ! Simul ! CPos ! ODir
   } ;
@@ -42,13 +43,19 @@ concrete AttemptoAce of Attempto = SymbolsC [Term], NumeralAce ** AttemptoI - [s
   lin Y_Var = {s = regGenitiveS "Y"} ;
   oper NomVar : {s : Case => Str} -> Str = \v -> v.s ! Nom ;
 
-  -- "somebody X" etc [JJC]
+  -- "everybody X" etc [JJC]
   lin indefPronVarNP pr v = lin NP {
     s = \\c => pr.s ! NCase Nom ++ v.s ! (npcase2case c) ; -- with genitive "somebody X's"
 --    s = \\c => pr.s ! NCase Nom ++ v.s ! (npcase2case (NCase Nom)) ; -- no inflection for genitive
     a = pr.a
   };
 
+  -- "somebody X" and "something X" [KK]
+  lin indefTherePronVarNP pr v = lin NP {
+    s = \\c => pr.s ! NCase Nom ++ v.s ! (npcase2case c) ; -- with genitive "somebody X's"
+    a = pr.a
+  };
+
   -- We override this because of the linearisation of Var [JJC]
   lin apposVarCN cn v = mkCN cn (symb (NomVar v)) ;
 

grammars/acewiki_aceowl/AttemptoI.gf

@@ -14,7 +14,7 @@ lincat A = Syntax.A ;
 lincat A2 = Syntax.A2 ;
 lincat AP = Syntax.AP ;
 lincat RS = Syntax.RS ;
-lincat Pron = Syntax.Pron ; lincat IndefPron = Syntax.NP ;
+lincat Pron = Syntax.Pron ; IndefPron = Syntax.NP ; IndefTherePron = Syntax.NP ;
 lincat Prep = Syntax.Prep ;
 lincat S = Syntax.S ; lincat SimpleS = Syntax.S ;
 lincat VP = Syntax.VP ;
@@ -51,7 +51,9 @@ lin nobody_IPron = Syntax.nobody_NP ;
 lin nothing_IPron = Syntax.nothing_NP ;
 
 -- [JJC]
+lin indefTherePronNP pr = pr;
 lin indefPronNP pr = pr;
+lin indefTherePronVarNP pr var = symb var ; -- Default ignores pronoun! This sould be overridden [JJC]
 lin indefPronVarNP pr var = symb var ; -- Default ignores pronoun! This sould be overridden [JJC]
 
 lin at_leastNP ca = Syntax.mkNP (Syntax.mkCard at_least_AdN ca) ;