Assertion list for term "stateful".
Results from Ascent++: 2
protocol → HasProperty → stateful 0.37
execution → HasProperty → stateful 0.27