Attempto Controlled English in Grammatical Framework