function or3 import CRML.ETL.Types.Boolean3; input Boolean3 x1; input Boolean3 x2; output Boolean3 y; end or3;