Formal investigations of underspecified representations · Study