Attempto Controlled English as a Semantic Web Language