Assertion list for term "transitions of the form".

Results from Ascent++: 1
graph HasAtransitions of the form 0.27