Is the following ok? ``` (a | t = (b & c | d & e) ) ``` where `t` refers to the subtree `b & c | d & e`.
Is the following ok?
where
trefers to the subtreeb & c | d & e.