For example, let p = This machine is a bicycle q = This machine has two wheels .
(a bicycle; =; This machine has two wheels) Context(a bicycle =,List([37, 50))):(This machine; has; two wheels)
a bicycle =,List([37, 50))
a bicycle This machine
= has
This machine has two wheels
two wheels