Assertion: following algorithm | /r/CapableOf | make withdrawal
Facets:
value: from a checking account
type: OTHER
Source sentences:
text: For example, consider the following algorithm to make withdrawals from a checking account represented by the shared resource balance :