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

import java.util.List;

import edu.stanford.nlp.sempre.Derivation;
import edu.stanford.nlp.sempre.Example;

public class Definition {
  public Definition(Example head, List<Derivation> chartList, List<Example> body) {
  }
}
