public override Object visitBinarySentence(BinarySentence bs, Object args)
{
List<Sentence> soFar = (List<Sentence>)args;
Sentence first = bs.getFirst();
Sentence second = bs.getSecond();
processSubTerm(second, processSubTerm(first, soFar));
return soFar;
}