type int4 = 1..4;
type int4 = 1..4;
type odd4 = {1, 3};
relation R(int4, odd4) = {(1, 3), (2, 1), (3, 1), (4, 1)};
relation S(int4, int4, int4) = {(1, 1, 1), (1, 2, 3), (3, 2, 1)};
relation T(int4, odd4) = {(1, 2)};
question R13 = R(1, 3);
answer R13;
question questionAboutS = ~(S(1, 1, 1) | S(2, 1, 3));
answer questionAboutS;
question isFunctionR = !(x::int4)(!(y1::odd4)(!(y2::odd4)(R(x, y1) & R(x, y2) --> y1=y2)));
answer isFunctionR;
question ontoR = !(y::odd4)(?(x::int4)(R(x, y)));
answer ontoR;
relation R(int4, odd4) = {(1, 1), (1, 3), (2, 1), (2, 3)};
answer isFunctionR;
