type int4 = 1..4;
type odd4 = {1, 3};
relation R(int4, odd4) = {(1, 3), (2, 1), (3, 3), (4, 1)};
relation T(int4, odd4) = {(1, 2)};
question R13 = R(1, 3);
answer R13;
