Decidability and Natural Language · Study