Assertion list
pause (primary) → HasProperty
Results from Ascent++: 5
pause → HasProperty → long 0.68
pause → HasProperty → real 0.56
pause → HasProperty → important 0.43
pause → HasProperty → natural 0.43
pause → HasProperty → short 0.25