Input (grade 13): The Irish Free State was established in December 1922, and as expected, Northern Ireland exercised its option to remain part of the United Kingdom proper.
Output (grade 12): The Irish Free State was established in December 1922, and as expected, Northern Ireland opted to remain part of the United Kingdom proper.