Assertion list
subset (aspect of set ) → HasProperty
Results from Ascent++: 2
subset → HasProperty → open 0.48
subset → HasProperty → small 0.32