... isloaded with and the negated hypothesis ( )and its usable list with the axioms needed to gener-819Figure 1: COGEX’s Architectureate inferences, COGEX begins to search for proofs. To every ... 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 ... 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...