x1 is an heir to/is to inherit x2 (object/quality) from x3 according to rule x4.
Pedantically, inheriting an object should be a sumti-raising (tu'a if non-abstract in x2) of inheriting loka ponse the object - the ownership of the object (= posycerda, posyselcerda for unambiguous semantics). See also jgina.