from contract drafting to software specification : linguistic sources of ambiguity .
Attempto Controlled English (ACE)