(2013) was unable to scale to long sentences and was only tested on the relatively short sentences in the Microsoft video description corpus used for STS (Agirre et al., 2012).
inference in PSL reduces to a linear programming problem, which is theoretically and practically much more efficient.