... NE(x1) &negotiatorNN(x2) & nn NNC(x3,x1,x2)work VB(e1,x2,x4) & for IN(e1,x1) helps theprover infer that Christopher Hill works for the US from topUS negotiator, Christopher Hill.10Harabagiu ... NE(x1)when it tries to infer electoral campaign is held inNicaragua from Nicaraguan electoral campaign.We ensured the relevance of the lexical chainsby limiting the path length to three relations ... the system, automatically, generatesaxioms to break down complex nominals andcoordinating conjunctions into their constituentsso that other axioms can be applied, individually, to the components....