One doc tagged with "cross-clause-reasoning"