"to compute n3 rules such as "a Quartet is a group which has 4 members"" . . . .