Assertion: pascal | /r/CapableOf | choose a method of re-zeroing
Facets:
value: for his machine
type: PURPOSE
Source sentences:
text: Pascal chose, for his machine, a method of re-zeroing that propagates a carry right through the machine.