Assertion list
area rug (subgroup of rug ) → HasProperty
Results from Ascent++: 2
area rug → HasProperty → large 0.61
area rug → HasProperty → perfect 0.37