* @param superrelation
   * @return boolean
   */
  public static boolean testSubrelationP(Surrogate subrelation, Surrogate superrelation) {
    if (subrelation == superrelation) {
      return (true);
    }
    { NamedDescription description = Logic.getDescription(subrelation);

      { boolean foundP000 = false;

        { LogicObject renamed_Super = null;
          Iterator iter000 = LogicObject.allSupercollections(description);

          loop000 : while (iter000.nextP()) {
            renamed_Super = ((LogicObject)(iter000.value));
            if (renamed_Super.surrogateValueInverse == superrelation) {
              foundP000 = true;
              break loop000;
            }
          }
        }
        { boolean value000 = foundP000;

          return (value000);
        }
      }
    }
  }