* @return Cons
   */
  public static Cons allSentencesOf(Stella_Object instanceref) {
    { LogicObject instance = Logic.coerceToInstance(instanceref, null);
      String sentence = null;

      if (instance != null) {
        { Cons list = Stella.NIL;

          { Proposition fact = null;
            Cons iter000 = Logic.allFactsOfInstance(instance, false, true).theConsList;
            Cons collect000 = null;

            loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              fact = ((Proposition)(iter000.value));
              {
                sentence = Proposition.factToSentence(fact, true);
                if (sentence == null) {
                  continue loop000;
                }
              }
              if (collect000 == null) {
                {
                  collect000 = Cons.cons(StringWrapper.wrapString(sentence), Stella.NIL);
                  if (list == Stella.NIL) {
                    list = collect000;
                  }
                  else {
                    Cons.addConsToEndOfConsList(list, collect000);
                  }
                }
              }
              else {
                {
                  collect000.rest = Cons.cons(StringWrapper.wrapString(sentence), Stella.NIL);
                  collect000 = collect000.rest;
                }
              }
            }
          }
          return (list);
        }
      }
      else {
        return (null);
      }
    }
  }