some constant d d some constant d d some constant d some constant d some constant d some constant d some constant d own person object person object own person object some constant d some constant d own test person object 0.2 belongs object person x y claim person object some constant d merchant 1.0 buy person merchant object keep person object x 0.5 unequal x person 0.5 disclaim x test object keep person object claim person object relinquish person object x unequal x person disclaim x object x friend t b x y Steph friend t b x y Jill 0 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 some function arg1 arg2 arg3 some other function arg4 arg5 arg6