Assertion list
right (aspect of contractor ) → IsA
Results from Ascent++: 1
right → IsA → made party 0.28