Assertion list
resale royalty (subgroup of royalty ) → HasProperty
Results from Ascent++: 1
resale royalty → HasProperty → payable 0.68