i1 : MapExpression {a,b,c} o1 = a <----- b c o1 : Expression of class MapExpression
The object MapExpression is a header type, with ancestor classes Expression < BasicList < Thing.