Assertion: square's number | /r/HasProperty | encoded as decimal
Facets:
Source sentences:
text: Thus the number 42 may be encoded as the binary sequence ...001011 or 11 decimal.