function or4 import CRML.ETL.Types.Boolean4; input Boolean4 x1; input Boolean4 x2; output Boolean4 y; end or4;