Assertion list for term "receive number".

Results from Ascent++: 1
principal CapableOfreceive number 0.25