Skip to Main Content
Table 10 

Hidden predicates, hard constraints, and formula templates used for bridging antecedent selection. a1, a2, a3 represent bridging anaphors, A the set of bridging anaphors in the whole document, e the antecedent candidate, Ea the set of the antecedent candidates for a according to a’s discourse scope, and E the set of antecedent candidates in the whole document.

Hidden predicates 
pisBridging(a1, e
phasSameAntecedent(a1, a2
  
Hard Constraints 
faA: |eE: isBridging(a, e)| ≤ 1 
faAeE: hasPairDistance(e, a, d) ∧ d < 0 → ¬isBridging(a, e
fa1, a2A: a1a2hasSameAntecedent(a1, a2) → hasSameAntecedent(a2, a1
fa1, a2, a3A: a1a2a1a3a2a3hasSameAntecedent(a1, a2) ∧ hasSameAntecedent(a2, a3) → hasSameAntecedent(a1, a3
fa1, a2AiE: a1a2hasSameAntecedent(a1, a2) ∧ isBridging(a1, e) → isBridging(a2, e
fa1, a2AeE: a1a2isBridging(a1, e) ∧ isBridging(a2, e) → hasSameAntecedent(a1, a2
  
Formula template for sibling anaphors clustering 
fc a1, a2A: siblingAnaphorsClusteringFormula_Template (a1, a2) → hasSameAntecedent(a1, a2
  
Formula template for bridging antecedent selection 
fr1 aAeE: bridgingAnaResolutionFormula_Template1 (a, e) → isBridging(a, e
fr2 aAeEa: bridgingAnaResolutionFormula_Template2 (a, e) → isBridging(a, e
Hidden predicates 
pisBridging(a1, e
phasSameAntecedent(a1, a2
  
Hard Constraints 
faA: |eE: isBridging(a, e)| ≤ 1 
faAeE: hasPairDistance(e, a, d) ∧ d < 0 → ¬isBridging(a, e
fa1, a2A: a1a2hasSameAntecedent(a1, a2) → hasSameAntecedent(a2, a1
fa1, a2, a3A: a1a2a1a3a2a3hasSameAntecedent(a1, a2) ∧ hasSameAntecedent(a2, a3) → hasSameAntecedent(a1, a3
fa1, a2AiE: a1a2hasSameAntecedent(a1, a2) ∧ isBridging(a1, e) → isBridging(a2, e
fa1, a2AeE: a1a2isBridging(a1, e) ∧ isBridging(a2, e) → hasSameAntecedent(a1, a2
  
Formula template for sibling anaphors clustering 
fc a1, a2A: siblingAnaphorsClusteringFormula_Template (a1, a2) → hasSameAntecedent(a1, a2
  
Formula template for bridging antecedent selection 
fr1 aAeE: bridgingAnaResolutionFormula_Template1 (a, e) → isBridging(a, e
fr2 aAeEa: bridgingAnaResolutionFormula_Template2 (a, e) → isBridging(a, e
Close Modal

or Create an Account

Close Modal
Close Modal