A logical treatment of semi-free word order and bounded discontinuous constituency