Assertion list
rug (primary) → IsA
Results from Ascent++: 3
rug → IsA → by abc carpet 0.37
rug → IsA → carpet 0.37
rug → IsA → by beauvais carpets 0.30