Assertion list for term "become activated at same time".

Results from Ascent++: 1
node CapableOfbecome activated at same time 0.27