Assertion list
nan (primary) → CapableOf
Results from Ascent++: 1
nan → CapableOf → spend time 0.16