Licensing and Underspecication in Optimality Theory