Assertion: sequence's number | /r/HasProperty | represented with a terminal
Facets:
Source sentences:
text: The fact that any number (greater than 1) can be represented with a terminal 0 means that it is always possible to add 1, and given that, for 1 and 2 can be represented in Fibonacci coding, completeness follows by induction.