Notice that one RMRS may be satisfied by multiple trees; we can take the RMRS to be a partial description of each of these trees.
1, x 1 to x, and the root label every q 1 is consistent with the EP predicate every q.