Assertion list
builder (primary) → IsA
Results from Ascent++: 1
builder → IsA → contractor 0.33