Assertion: expansion | /r/CapableOf | involve multiple nested rewrite steps
Facets:
Source sentences:
text: An expansion which involves multiple nested rewrite steps is that of working out a Horner scheme to the (expanded) polynomial it defines, for instance