Assertion list for term "be an identification number".

Results from Ascent++: 1
pan CapableOfbe an identification number 0.25