$result = array();
unset($arr1);
unset($arr2);
unset($arr3);
unset($arr4);



$res1 = new Literal("Alice");
$res2 = new Literal("Fred");
$res3 = new Literal("Eve");
$res4 = new Literal("Bob");


$arr1["?name"]=$res2;


$arr2["?name"]=$res3;


$arr3["?name"]=$res4;


$arr4["?name"]=$res1;




$result[]=$arr4;
$result[]=$arr3;
$result[]=$arr2;
$result[]=$arr1;