We use the PMB v. In order to be used as input to the parser, <cite>Liu et al. (2018)</cite> first convert the DRS into treebased representations, which are subsequently linearized into PTB-style bracketed sequences.