Assertion list
promise (primary) → IsA
Results from Ascent++: 2
promise → IsA → commitment 0.59
promise → IsA → to guarantee high-quality produ… 0.27