public static boolean relationrefSpecializesRelationrefP(Surrogate relationref1, Surrogate relationref2) {
    if (relationref1 == relationref2) {
      return (true);
    }
    { NamedDescription desc1 = Logic.surrogateToDescription(relationref1);
      NamedDescription desc2 = Logic.surrogateToDescription(relationref2);

      return ((desc1 != null) &&
          ((desc2 != null) &&
           LogicObject.collectionImpliesCollectionP(desc1, desc2)));
    }
  }