test person object own person object merchant buy person merchant object keep person object own test person object belongs object person x y claiming-through-disclaimers claim person object x disclaiming-of-other-persons unequal x person disclaim x test object keep person object claiming-or-relinquishing-through-disclaimers claim person object relinquish person object x disclaiming-of-other-persons unequal x person disclaim x object x friend t b x y Steph friend t b x y Jill friend Jane Joan Jack y Frank yar constructor z yar2 c some relation role_name1 role 1 constant a constant b role_name2 role 2