Assertion list
area rug (subgroup of rug ) → CapableOf
Results from Ascent++: 2
area rug → CapableOf → add comfort 0.40
area rug → CapableOf → look great 0.37