Assertion list for term "a sequence number".

Results from Ascent++: 1
message HasAa sequence number 0.50