When training data is available (MSRpar, MSRvid, SMTeuroparl), LFT-scores + features always outperforms the scores obtained with a single logic form transformation in an unsupervised manner.
combining the scores obtained with the three logic form transformations and incorporating the additional features derived from the proofs improves performance.