Assertion list for term "receive a pin number".

Results from Ascent++: 1
thief CapableOfreceive a pin number 0.34