Finally, a partially scoped UG U, even if all the ETs of U are standard, will inevitably have these non-standard tree structures.
for the sake of the robustness of our definitions, we should be able to model these structures.