2. a2: Collection(SimpleType)
3. b1: Collection(SimpleType)
4. b2: Collection(SimpleType)
5.
x:SimpleType. x 
a1 
x a26.
x:SimpleType. x b1 x b27. x: SimpleType
8.
a:SimpleType. a b1 & a
x a1
a:SimpleType. a b2 & ax a2
a1,a2,b1,b2:Collection(SimpleType). a1 
a2 b1 b2 st_app(a1;b1) st_app(a2;b2)
| 1 | 1. a1: Collection(SimpleType) 2. a2: Collection(SimpleType) 3. b1: Collection(SimpleType) 4. b2: Collection(SimpleType) 5. x:SimpleType. x a1 x a26. x:SimpleType. x b1 x b27. x: SimpleType 8. a:SimpleType. a b1 & ax a1 a:SimpleType. a b2 & ax a2 |
About:
 |  |  |  |