On the other hand, since our supervised resolvers are meant to be reimplementations of existing resolvers, we follow previous work and let them employ a supervised AZP identification system.
we employ the one described in Chen and Ng (2013).