@Override public Void visit(final ProperEntailmentQueryResult properResult) throws ElkException { try { final Entailment entailment = properResult.getEntailment(); proof_.produce(Inferences.create("Goal inference", goal_, Arrays.asList(entailment))); processEntailment(entailment, properResult.getEvidence(false)); return null; } finally { properResult.unlock(); } }
@Override public Void visit(final ProperEntailmentQueryResult properResult) throws ElkException { try { final Entailment entailment = properResult.getEntailment(); proof_.produce(Inferences.create("Goal inference", goal_, Arrays.asList(entailment))); processEntailment(entailment, properResult.getEvidence(false)); return null; } finally { properResult.unlock(); } }
@Override public Void visit(final ProperEntailmentQueryResult properResult) throws ElkException { try { final Entailment entailment = properResult.getEntailment(); proof_.produce(Inferences.create("Goal inference", goal_, Arrays.asList(entailment))); processEntailment(entailment, properResult.getEvidence(false)); return null; } finally { properResult.unlock(); } }