currentSource = seedExtractor.getSource(entailment); insertChildren(currentSource, root); currentTarget = seedExtractor.getTarget(entailment);
currentSource = seedExtractor.getSource(entailment); insertChildren(currentSource, root); currentTarget = seedExtractor.getTarget(entailment);