Unique identifier defined for RIF Logical Entailment