Assertion list for term "be a state diagram".

Results from Ascent++: 1
fig CapableOfbe a state diagram 0.25