public Exp copy() {
int newOperator = operator;
Iterator<MathVarDec> it = vars.iterator();
List<MathVarDec> newVars = new List<MathVarDec>();
while (it.hasNext()) {
newVars.add(it.next().copy());
}
Exp newWhere = null;
if (where != null) {
newWhere = where.copy();
}
Exp newBody = body.copy();
Exp retval = new QuantExp(null, newOperator, newVars, newWhere, newBody);
retval.setType(type);
return retval;
}
public void extractFuncts(List functors, List functees, Exp orig) {
for (int i = 0; i < exps.size(); i++) {
Exp e = exps.get(i);
e.extractFuncts(functors, functees, orig);
List vars = e.freeVars();
if (vars.size() == 1) {
Var v = (Var) vars.get(0);
Exp functee = new Funct(v, e.copy());
Var v2 = new Var(functee.type());
Appl a = new Appl(v2, v);
exps.set(i, a);
Exp functorbody = orig.copy();
exps.set(i, e);
Exp functor = new Funct(v2, functorbody);
functors.add(functor);
functees.add(functee);
}
}
}
public void extractFuncts(List functors, List functees, Exp orig) {
List vars = body.freeVars();
if (vars.size() == 1) {
Var v = (Var) vars.get(0);
Exp functee = new Funct(v, body.copy());
Var v2 = new Var(functee.type());
Appl a = new Appl(v2, v);
Exp e = body;
body = a;
Exp functorbody = orig.copy();
body = e;
Exp functor = new Funct(v2, functorbody);
functors.add(functor);
functees.add(functee);
}
body.extractFuncts(functors, functees, orig);
}
public boolean isCorrect(String words, Exp sem, Parser parser) {
List<ParseResult> parses = parser.bestParses();
if (parses.size() > 0) {
noAnswer = false;
} else {
noAnswer = true;
}
if (parses.size() == 1) {
ParseResult p = parses.get(0);
Exp e = p.getExp();
e = e.copy();
e.simplify();
List l = p.getLexEntries();
parsed++;
if (e.equals(sem)) {
if (verbose) {
System.out.println("CORRECT");
printLex(l);
}
int lits = sem.allLitsCount();
correctParses++;
return true;
} else {
// one parse, it was wrong... oh well...
if (verbose) {
System.out.println("WRONG");
System.out.println(parses.size() + " parses: " + parses);
printLex(l);
}
wrongParses++;
boolean hasCorrect = parser.hasParseFor(sem);
if (verbose) {
System.out.println("Had correct parse: " + hasCorrect);
System.out.print("Feats: ");
Exp eb = parser.bestSem();
Chart c = parser.getChart();
HashVector h = c.computeExpFeatVals(eb);
h.divideBy(c.computeNorm(eb));
h.dropSmallEntries();
System.out.println(h);
}
}
} else {
noParses++;
if (parses.size() > 1) {
// There are more than one equally high scoring
// logical forms. If this is the case, we abstain
// from returning a result.
if (verbose) {
System.out.println("too many parses");
System.out.println(parses.size() + " parses: " + parses);
}
Exp e = parses.get(0).getExp();
ParseResult p = parses.get(0);
boolean hasCorrect = parser.hasParseFor(sem);
if (verbose) System.out.println("Had correct parse: " + hasCorrect);
} else {
// no parses, potentially reparse with word skipping
if (verbose) System.out.println("no parses");
if (emptyTest) {
List<LexEntry> emps = new LinkedList<LexEntry>();
for (int j = 0; j < Globals.tokens.size(); j++) {
List l = Globals.tokens.subList(j, j + 1);
LexEntry le = new LexEntry(l, Cat.EMP);
emps.add(le);
}
parser.setTempLexicon(new Lexicon(emps));
String mes = null;
if (verbose) mes = "EMPTY";
parser.parseTimed(words, null, mes);
parser.setTempLexicon(null);
parses = parser.bestParses();
if (parses.size() == 1) {
ParseResult p = parses.get(0);
List l = p.getLexEntries();
Exp e = p.getExp();
e = e.copy();
e.simplify();
int noEmpty = p.noEmpty();
if (e.equals(sem)) {
if (verbose) {
System.out.println("CORRECT");
printLex(l);
}
emptyCorrect++;
} else {
// one parse, but wrong
if (verbose) {
System.out.println("WRONG: " + e);
printLex(l);
boolean hasCorrect = parser.hasParseFor(sem);
System.out.println("Had correct parse: " + hasCorrect);
}
}
} else {
// too many parses or no parses
emptyNoParses++;
if (verbose) {
System.out.println("WRONG:" + parses);
boolean hasCorrect = parser.hasParseFor(sem);
System.out.println("Had correct parse: " + hasCorrect);
}
}
}
}
}
return false;
}
public Exp copy() {
PosSymbol newLineNum = null;
if (myLineNumber != null) newLineNum = myLineNumber.copy();
Exp newExp = Exp.copy(exp);
return new GoalExp(null, newLineNum, newExp);
}
