Assertion list for term "receive the foreign currency amount".

Results from Ascent++: 1
receiver CapableOfreceive the foreign currency amount 0.32