rascal>[2,1,3] < [5,2,1,3]
bool: true