Assertion: algorithm | /r/CapableOf | specify b ← b − a
Facets:
Source sentences:
text: THEN, the algorithm specifies B ← B − A (meaning the numberreplaces the old).