Assertion list for term "use first transaction number".

Results from Ascent++: 1
logic CapableOfuse first transaction number 0.33