transmitter.recordMeasurement(findOneInfo, "input size", module.size()); transmitter.recordMeasurement(findOneInfo, "entailed", entailed); transmitter.recordMeasurement(findOneInfo, "self justification", result.isJustificationEntailment()); transmitter.recordMeasurement(findOneInfo, "justification size", result.getSize()); transmitter.recordTiming(findOneInfo, "time", justificationTimer);
public boolean isLaconic(Explanation<OWLAxiom> expl) { if(expl.isJustificationEntailment()) { return true;