ModuleConstraintPrecedence { iso org(3) dod(6) internet(1) private(4)
	enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 118 }
DEFINITIONS ::=
BEGIN

E1 ::= IA5String (SIZE(1..5,...) ^ FROM("A".."Z"))
-- Combined constraints: (SIZE(1..5,...) ^ FROM("A".."Z"))
-- Practical constraints (E1): (MIN..MAX) (SIZE(1..5,...)) (FROM("A".."Z"))
-- OER-visible constraints (E1): (MIN..MAX) (SIZE(1..5,...)) 
-- PER-visible constraints (E1): (MIN..MAX) (SIZE(1..5,...)) (FROM("A".."Z"))

E2 ::= IA5String (SIZE(1..5,...,5))(FROM("A".."Z"))
-- Combined constraints: (SIZE(1..5))(FROM("A".."Z"))
-- Practical constraints (E2): (MIN..MAX) (SIZE(1..5)) (FROM("A".."Z"))
-- OER-visible constraints (E2): (MIN..MAX) (SIZE(1..5)) 
-- PER-visible constraints (E2): (MIN..MAX) (SIZE(1..5)) (FROM("A".."Z"))

E3 ::= IA5String (SIZE(1..5) ^ FROM("A".."Z"),...)
-- Combined constraints: (SIZE(1..5) ^ FROM("A".."Z"),...)
-- Practical constraints (E3): (MIN..MAX,...) (SIZE(1..5,...)) (FROM("A".."Z",...))
-- OER-visible constraints (E3): (MIN..MAX,...) (SIZE(1..5,...)) 
-- PER-visible constraints (E3): (MIN..MAX,...) (SIZE(1..5,...)) (FROM(" "..""))

E4 ::= IA5String (FROM("A".."Z"),...)(SIZE(1..5))
-- Combined constraints: (FROM("A".."Z"))(SIZE(1..5))
-- Practical constraints (E4): (MIN..MAX) (SIZE(1..5)) (FROM("A".."Z"))
-- OER-visible constraints (E4): (MIN..MAX) (SIZE(1..5)) 
-- PER-visible constraints (E4): (MIN..MAX) (SIZE(1..5)) (FROM("A".."Z"))

C ::= IA5String (SIZE(10) ^ FROM("A".."D") | SIZE(20) ^ FROM("D".."F"))
-- Combined constraints: (SIZE(10) ^ FROM("A".."D") | SIZE(20) ^ FROM("D".."F"))
-- Practical constraints (C): (MIN..MAX) (SIZE(10 | 20)) (FROM("A".."F"))
-- OER-visible constraints (C): (MIN..MAX) (SIZE(10 | 20)) 
-- PER-visible constraints (C): (MIN..MAX) (SIZE(10 | 20)) (FROM("A".."F"))

P ::= IA5String (FROM("AB") ^ SIZE(1..2) | FROM("DE") ^ SIZE(3) | FROM("AXE") ^ SIZE(1..5))
-- Combined constraints: (FROM("AB") ^ SIZE(1..2) | FROM("DE") ^ SIZE(3) | FROM("AXE") ^ SIZE(1..5))
-- Practical constraints (P): (MIN..MAX) (SIZE(1..5)) (FROM("A".."B" | "D".."E" | "X"))
-- OER-visible constraints (P): (MIN..MAX) (SIZE(1..5)) 
-- PER-visible constraints (P): (MIN..MAX) (SIZE(1..5)) (FROM("A".."B" | "D".."E" | "X"))

END