In the current version, the reasoning module has knowledge of a selected set of relations and the translation module tries to represent the clue as a conjunction of these relations.
1) each tuple in a logic grid puzzle will contain exactly one element from each category and 2) an element will belong to exactly one tuple.