Assertion list for term "verify all the necessary requirements".
Results from Ascent++: 1
checker → CapableOf → verify all the necessary requirements 0.25