Assertion list
windows laptop (subgroup of laptop ) → HasProperty
Results from Ascent++: 1
windows laptop → HasProperty → cheaper 0.59