Assertion list
product description (subgroup of description ) → IsA
Results from Ascent++: 1
product description → IsA → error-free 0.25