Assertion list for term "correspond to an operation protocol".
Results from Ascent++: 1
value (aspect of function) → CapableOf → correspond to an operation protocol 0.36