pdf bibThe MITRE logical form generation systemSamuel Bayer | John Burger | John Greiff | Ben WellnerProceedings of SENSEVAL-3, the Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text