Assertion list for term "distinct serial number".

Results from Ascent++: 1
coin HasAdistinct serial number 0.35