Assertion list
marital property (subgroup of property ) → HasProperty
Results from Ascent++: 1
marital property → HasProperty → separate 0.41