1P DEFINITIONS IMPLICIT TAGS ::=
2BEGIN
3EXPORTS P1, P2;
4
5P1 ::=  SEQUENCE {
6	name PrintableString,
7	location INTEGER {home(0),field(1),roving(2)},
8	age INTEGER OPTIONAL
9	}
10
11P2 ::=  SEQUENCE {
12	name PrintableString,
13	location INTEGER {home(0),field(1),roving(2)},
14	age INTEGER OPTIONAL,
15	nr BOOLEAN
16	}
17END
18
19
20