... 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 ... the system, automatically, generatesaxioms to break down complex nominals andcoordinating conjunctions into their constituentsso that other axioms can be applied, individually, to the components. ... semantic relations canbe combined: and have to be compatiblewith respect to the part-of-speech of the commonargument. Depending on their properties, thereare up to 8 combinations between...