/* Test complex validation part */

/* Complex function for testing */
complex_validation : x y -> (x > 0) and (y > 0) and (x + y > 10);

/* Using complex function in pattern */
validate_pair : x y ->
  when (complex_validation x y) is
    true then "valid pair"
    false then "invalid pair";

/* Test complex validation */
valid_pair : validate_pair 5 8;    /* 5>0, 8>0, 5+8>10 -> true */
invalid_pair1 : validate_pair 0 8; /* 0>0 is false */
invalid_pair2 : validate_pair 5 3; /* 5+3>10 is false */

/* Output complex validation results */
..out "Complex Validation Results:";
..out valid_pair;
..out invalid_pair1;
..out invalid_pair2;