Formula L.2 Formula L.2 is a hard constraint that must always hold whereas the others are soft and can be violated.
the saliency property can be written as follows: Formula S.1: Saliency: if the KB entry is linked to an entity that precedes the current mention , and is a candidate KB entry of , then the current entity should also be linked to .