* @return double
   */
  public static double askPartial(Cons propositionAoptions) {
    Logic.$MOST_RECENT_QUERY$ = null;
    try {
      return (Logic.callAskPartial(propositionAoptions));
    } catch (LogicException e) {
      Stella.STANDARD_ERROR.nativeStream.print(Stella.exceptionMessage(e));
      Logic.$MOST_RECENT_QUERY$ = null;
      return (Stella.NULL_FLOAT);
    }
  }