Assertion list
regular soap (subgroup of soap ) → HasProperty
Results from Ascent++: 1
regular soap → HasProperty → effective 0.59