Assertion list
small estate (subgroup of estate ) → CapableOf

Results from Ascent++: 1
small estateCapableOf go through simplified process 0.25