Assertion: 1 | /r/HasProperty | a 2
Facets:
Source sentences:
text: ( a 1 , a 2 , … , a n ) = ( b 1 , b 2 , … , b n )
text: ( a 1 , a 2 , … , a n ) ≡
text: 1 ≤ i ≤ n } Y = { a 1 , a 2 , … , a n } F =
text: ( a 1 , a 2 , … , a n ) := ( F ( 1 ) , F ( 2 ) , … , F ( n ) ) .
text: -tuple (which contains the remaining entries when n > 1) : ( a 1 , a 2 , a 3 , … , a n ) = ( a 1 , ( a 2 , a 3 , … , a n ) )
text: -tuple (which contains the remaining entries when n > 1) : ( a 1 , a 2 , a 3 , … , a n ) = ( a 1 , ( a 2 , a 3 , … , a n ) )
text: ( a 1 , a 2 , a 3 , … , a n ) = ( a 1 , ( a 2 , ( a 3 , ( … , ( a n , ∅ ) … ) ) ) )
text: ( a 1 , a 2 , a 3 , … , a n ) = ( a 1 , ( a 2 , ( a 3 , ( … , ( a n , ∅ ) … ) ) ) )
text: For n > 0 : ( a 1 , a 2 , a 3 , … , a n ) = ( ( a 1 , a 2 , a 3 , … , a n − 1 ) , a n )
text: For n > 0 : ( a 1 , a 2 , a 3 , … , a n ) = ( ( a 1 , a 2 , a 3 , … , a n − 1 ) , a n )
text: ( a 1 , a 2 , a 3 , … , a n ) =