Add FraCaS examples as a test case