At least one operand holds.
Both hold.
Either holds.
Every path this predicate mentions of the document, deduplicated, in the order first seen.