Assertion list
oriental rug (subgroup of rug ) → CapableOf
Results from Ascent++: 1
oriental rug → CapableOf → last for generation 0.16