_dtReasoner = abox._dtReasoner; _doExplanation = abox._doExplanation; _disjBranchStats = abox.getDisjBranchStats();
_dtReasoner = abox._dtReasoner; _doExplanation = abox._doExplanation; _disjBranchStats = abox.getDisjBranchStats();
_dtReasoner = abox._dtReasoner; _doExplanation = abox._doExplanation; _disjBranchStats = abox.getDisjBranchStats();
_dtReasoner = abox._dtReasoner; _doExplanation = abox._doExplanation; _disjBranchStats = abox.getDisjBranchStats();