HOL-master/examples/lassie/sempre/src/edu/stanford/nlp/sempre/FormulaMatchExecutor.java
package edu.stanford.nlp.sempre;

/**
 * Return a string representation of a formula as the value.  This enables
 * evaluation against exact match of logical forms.  This is overly stringent
 * right now.
 */
public class FormulaMatchExecutor extends Executor {
  public Response execute(Formula formula, ContextValue context) {
    formula = Formulas.betaReduction(formula);
    Value value;
    if (formula instanceof ValueFormula)
      value = ((ValueFormula) formula).value;
    else
      value = new StringValue(formula.toLispTree().toString());
    return new Response(value);
  }
}
