Add a syntax for some asymmetric predicate filters

Relevant for PR 14423
Add docs for TR's filter syntax