/* Test simpler multi-value validation pattern */

/* Test with simple boolean expressions */
validate_user : name age ->
  when (name != "") (age > 0) is
    true true then "valid user"
    true false then "invalid age"
    false true then "invalid name"
    false false then "invalid user";

/* Test user validation */
valid_user : validate_user "Alice" 30;
..out valid_user;