Assertion list
circular (primary) → CapableOf
Results from Ascent++: 1
circular → CapableOf → issue thereunder 0.63