domain_size {
	3
}

relations {
	r := {(1, 3), (2, 2), (1, 2), (3, 3)};
	s := {(1, 1), (2, 2), (3, 3)};
}

queries {
	r(1, 1) and r(2, 2) and r(3, 3);
	(r(1, 3) or r(1, 1)) and (not s(1, 3));
	not s(1, 1);
}
