INT}
REAL
⇒
UNION(INT,REAL)