public static Stella_Object propositionRelationComputation(Proposition p) {
    { GeneralizedSymbol operator = p.operator;

      if (Surrogate.subtypeOfSurrogateP(Stella_Object.safePrimaryType(operator))) {
        { Surrogate operator000 = ((Surrogate)(operator));

          return (operator000.surrogateValue);
        }
      }
      else {
        return (null);
      }
    }
  }