Alloy - String Evaluation