Assertion list
requesting spouse (subgroup of spouse ) → HasProperty
Results from Ascent++: 1
requesting spouse → HasProperty → liable 0.36