* @param options
   * @return Cons
   */
  public static Cons assertFromQuery(Cons query, Cons options) {
    try {
      { PropertyList theoptions = Logic.parseLogicCommandOptions(options, Cons.list$(Cons.cons(Logic.KWD_MODULE, Cons.cons(Logic.SGT_STELLA_MODULE, Cons.cons(Logic.KWD_RELATION, Cons.cons(Logic.SGT_STELLA_SYMBOL, Cons.cons(Logic.KWD_PATTERN, Cons.cons(Logic.SGT_STELLA_CONS, Cons.cons(Logic.KWD_RECORD_JUSTIFICATIONSp, Cons.cons(Logic.SGT_STELLA_BOOLEAN, Cons.cons(Stella.NIL, Stella.NIL)))))))))), true, false);
        Description pattern = null;
        Stella_Object recordjustificationsP = theoptions.lookupWithDefault(Logic.KWD_RECORD_JUSTIFICATIONSp, Stella.FALSE_WRAPPER);

        if (theoptions.lookup(Logic.KWD_PATTERN) != null) {
          pattern = ((Description)(Logic.conceiveTerm(theoptions.lookup(Logic.KWD_PATTERN))));
        }
        { Object old$RecordJustificationsP$000 = Logic.$RECORD_JUSTIFICATIONSp$.get();

          try {
            Native.setBooleanSpecial(Logic.$RECORD_JUSTIFICATIONSp$, ((Boolean)(Logic.$RECORD_JUSTIFICATIONSp$.get())).booleanValue() ||
                BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)(recordjustificationsP))));
            return (QueryIterator.updatePropositionsFromQuery(Logic.getQueryIteratorFromCommand(query), Logic.coerceToDescription(((pattern != null) ? pattern : theoptions.lookup(Logic.KWD_RELATION)), null), ((Module)(theoptions.lookup(Logic.KWD_MODULE))), Logic.KWD_ASSERT_TRUE, BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)(recordjustificationsP)))));

          } finally {
            Logic.$RECORD_JUSTIFICATIONSp$.set(old$RecordJustificationsP$000);
          }
        }
      }
    } catch (LogicException e) {
      Stella.STANDARD_ERROR.nativeStream.print(Stella.exceptionMessage(e));
    }
    return (null);
  }