Assertion: 1 | /r/HasProperty | n
Facets:
Source sentences:
text: ( a 1 , a 2 , … , a n ) := ( F ( 1 ) , F ( 2 ) , … , F ( n ) ) .
text: For n > 0 : ( a 1 , a 2 , a 3 , … , a n ) = ( ( a 1 , a 2 , a 3 , … , a n − 1 ) , a n )