Assertion: shuffle | /r/HasProperty | sn-2,...,s0,sn-1
Facets:
Source sentences:
text: shuffle function: shuffle( sn-1,sn-2,...,s0)= (sn-2,...,s0,sn-1)