M3 DEFINITIONS AUTOMATIC TAGS ::= BEGIN IMPORTS T1 FROM M1; T5 ::= T4{T1} T4{Y} ::= SEQUENCE {a INTEGER, b Y } END