Attempto Controlled English for Knowledge Representation