The PMB, too, is constructed using an existing semantic parser, but a part of it is completely manually checked and corrected (i.e., gold standard).
to the GMB, the PMB involves two major additions: (a) its semantics are refined by modeling tense and using semantic tagging (Bjerva et al., 2016;, and (b) the non-logical symbols of the DRSs corresponding to concepts and semantic roles are grounded in WordNet (Fellbaum, 1998) and VerbNet (Bonial et al., 2011), respectively.