* @param arg
   * @param value
   * @param module
   * @param environment
   * @return boolean
   */
  public static boolean isTrueBinaryProposition(LogicObject relation, Stella_Object arg, Stella_Object value, Module module, Environment environment) {
    return (PLI.getBinaryProposition(relation, arg, value, module, environment) != null);
  }