Assertion: n y | /r/HasProperty | t n + s
Facets:
Source sentences:
text: τ n = y ( t n + s )