Optimal-constraint lexicons for requirements specifications