Assertion list
separate property (subgroup of property ) → HasProperty
Results from Ascent++: 2
separate property → HasProperty → liable 0.32
separate property → HasProperty → classified 0.25