private LanguageInfo generateConsequent(LanguageInfo antecedent,
int matchStart, int matchEnd, LanguageInfo target, int targetStart,
int targetEnd) {
LanguageInfo res = new LanguageInfo();
res.addSpan(antecedent, 0, matchStart);
res.addSpan(target, targetStart, targetEnd);
res.addSpan(antecedent, matchEnd, antecedent.numTokens());
return res;
}
}