PROBLEM OnlyTerminals
CODE <<
  const int N = 5;
>>

NONTERMINALS
  S<<out double v>>.

TERMINALS
  T1<<out int val>> 
    CONSTRAINTS 
      val IN SET <<Enumerable.Range(0, N);>>
  .
  T2<<out int v1, out int v2>>
    CONSTRAINTS
      v1 IN SET <<Enumerable.Range(0, N);>>
      v2 IN SET <<Enumerable.Range(0, N);>>
  .
  T3<<out double x>>
    CONSTRAINTS
      x IN RANGE <<-N>> .. <<N>>
  .

RULES
  S<<out double v>> =                                LOCAL << int i1, i2; >>
    T1<<out i1>>                                     SEM << v = i1; >>
    | T2<<out i1, out i2>>                           SEM << v = i1; >>
    | T3<<out v>>
  .

MINIMIZE
  << 
    double v;
    S(out v);
    return v;
  >>
END OnlyTerminals.