do not report dropping results
formatting
extracted document info into a separate method; further refactoring
simplify
fixed premises/conclusions splitting
cleanup
utility methods to filter Markup XML into smaller tree