Ruler and ruled, then, have an existential claim on each other.
(Ruler and ruled; have; an existential claim on each other; T:then) Context(Ruler and ruled have,List([0, 27))):(Ruler; ruled; )
Ruler and ruled have,List([0, 27))
Ruler and ruled Ruler
have ruled
an existential claim on each other T:then