1 RETURN file-name-1 2? RECORD 3? INTO identifier-1 4? AT 4.1 END imperative-statement-1 5? NOT 5.1? AT 5.2 END imperative-statement-2 6? END-RETURN