b[..η]  η.P B := η r .P B In the Type 4 Completor rule, once a scopal auxiliary tree β with root node η r adjoins at some node η, the bottom component of the node η is marked with True, recording that a scopal adjunction has occurred at node η and that it therefore should not accept any further scopal adjunction.
for instance, the derivation of Syrian orthodox churches will proceed in a similar manner as the derivation of all the meerkats depicted in Appendix Figure A.2, but it will fail to produce the chart items (40, 42, ..., 52) associated with the independent adjunction.