Assertion list for term "comply with stack non-overflow constraint".
Results from Ascent++: 1
program → CapableOf → comply with stack non-overflow constraint 0.40