The matrix is populated such that in each row the values of each column group sum up to unity, i.e., we normalize values within column groups.
we set to 1 the values of the variable of the relation and the tuple of the corresponding fact.