In view of our proof of Theorem 2, we now come back to the question raised in Section 3.3.
we want to further investigate the features that are responsible for the additional complexity that comes with unrestricted VW-CCG.