Assertion list
output (primary) → IsA
Results from Ascent++: 3
output → IsA → product 0.59
output → IsA → final product 0.33
output → IsA → physical product 0.29