In standard DATR, the dynamic contexts are the global and local
Query:<'Foo' a b> sets the global context to
Foo:<a b> and then inherits from
Query is functionally equivalent to Global, and so probably not as useful as its relatives, QueryNode and QueryPath . However, if one introduced additional dynamic contexts (for example, reified as additional library functions such as Universal), then Query should reset those contexts as well.