Table 4 

Coreference formulae 

Symbol 
Name 
Formula 
Description 


(SiD) 
Salience in Discourse 
corefer(j, k) ⇒ ∃i.role(i, j, r) ∧ event(i) 
If a token j is coreferent to another token k, there is at least one event related to token j 
(T) 
Transitivity 
role(i, j, r) ∧ corefer(j, k) ⇒ role(i, k, r) 
If j plays the role r for i and j is coreferent to k then k also plays the role r for i 
(FC) 
Feature Copy 
corefer(j, k) ∧ F(k, +f) ⇒ role(i, j, r) 
If j is coreferent to k and k has feature f then j plays the role r for i 


Yoshikawa et al. Journal of Biomedical Semantics 2011 2(Suppl 5):S6 doi:10.1186/204114802S5S6 