Assertion list
vinyl (primary) → IsA
Results from Ascent++: 1
vinyl → IsA → plastic 0.32