Johan Bos: Wide-Coverage Semantic Analysis with Boxer. STEP 2008