Note that the additional requirements make the grammar explicitly ''split'' in the sense of Eisner and Satta (1999), Eisner (2000), and Johnson (2007).
the two processes of attaching left and right children, respectively, are independent, with rules (B, C) → a creating ''initial states'' B and C, respectively, for these two processes.