Logical_entailment loading ...