By employing the coordinative conjunction axiom, the semantic representation will be augmented with the literals patient(e,x) and patient(e,y), thus making the representation canonical.
the system unifies the query with 'kue' (cake) and 'apel' (apple) for the answer.