Before revision:  The latter refers to logical consistency between coarse- and fine- grained predictions, which is used to regularize the training process with propositional Boolean expressions.
After revision:  The latter refers to logical consistency between coarse- and fine-grained predictions, which is used to regularize the training process with propositional Boolean expressions.