Assertion: tag's value | /r/HasProperty | next term
Facets:
Source sentences:
text: The value 3n + 1 is clearly even for odd n, hence the next term after 3n + 1 is surely 3n + 1/2.