Paragraph 9BA F1
A person—
who is an Irish citizen on the first day of the first academic year of the course;
who was ordinarily resident before IP completion day—
in the territory comprising the European Economic Area and Switzerland; or
in the United Kingdom, where that ordinary residence began after 31st December 2017 immediately following a period of ordinary residence in the territory comprising the European Economic Area and Switzerland,
and has remained ordinarily resident in the territory comprising the United Kingdom, Gibraltar, the European Economic Area and Switzerland throughout the period beginning on IP completion day and ending immediately before the first day of the first academic year of the course;
who is—
attending or undertaking a designated course in England; or
undertaking an intensive course, designated part-time course or a designated postgraduate course in England;
has been ordinarily resident in the territory comprising the United Kingdom, Gibraltar, the European Economic Area and Switzerland throughout the three-year period preceding the first day of the first academic year of the course; and
subject to sub-paragraph (2), whose ordinary residence in the territory comprising the United Kingdom, Gibraltar, the European Economic Area and Switzerland has not during any part of the period referred to in paragraph (d) been wholly or mainly for the purpose of receiving full-time education.
Paragraph (e) of sub-paragraph (1) does not apply to a person who is treated as being ordinarily resident in the territory comprising the United Kingdom, Gibraltar, the European Economic Area and Switzerland in accordance with paragraph 1(4).