• We also hold out a subset of the logical clauses during training (for clauses of length k > 2).
3 during training, the model sees all logical rules but does not see all combinations of these logical rules.