Assertion list
protocol (primary) → IsA
Results from Ascent++: 1
protocol → IsA → special set of rules 0.34