Assertion: simple algorithm | /r/HasProperty | add m+n
Facets:
Source sentences:
text: For an example of the simple algorithm "Add m+n" described in all three levels, see Algorithm#Examples.