al-mobile { iso(1) member-body(2) gb(826) national(0) eng-ltd(1) warhead(4062548) private(2) al-mobile(0) } DEFINITIONS AUTOMATIC TAGS ::= BEGIN

IMPORT MobilePhone FROM contact { iso(1) member-body(2) uk(826) ltd(1) warhead(4062548) publications(1) contact(0) }

mobile-alaric MobilePhone ::= {
	number "447974437842",
	handset "Nokia nk702"
}
END