Assertion: machine | /r/CapableOf | use the principle
Facets:
Source sentences:
text: The machine \(T_{\textrm{Add}_i}\) uses the principle of shifting the addends to the right which was also used for \(T_{\textrm{Add}_2}\).