Browsing: claim-level entailment checking