public static boolean logicalSubtypeOfP(Surrogate type1, Surrogate type2) {
    if (type1 == type2) {
      return (true);
    }
    else {
      { NamedDescription desc1 = Logic.getDescription(type1);
        NamedDescription desc2 = Logic.getDescription(type2);

        if ((desc1 == null) ||
            (desc2 == null)) {
          return (false);
        }
        return (NamedDescription.subrelationOfP(desc1, desc2));
      }
    }
  }