Assertion list
window shopping (subgroup of shopping ) → HasProperty
Results from Ascent++: 1
window shopping → HasProperty → fun 0.19