Find!
t1=b1 is a realm belonging to/controlled by t2, great in property b2 (ka) by standard b3.
Cf. noltru.