<<4er.expand>> <> (root N ("4er" I (SRWC0 I (First I (Inv) (Pass)) (second I (Inv) (Pass))) (SRWC1 I (First I (Inv) (Pass)) (second L (Inv) (Pass))) (SRWC2 I (First L (Inv) (Pass)) (second I (Inv) (Pass))) (SRWC3 I (First L (Inv) (Pass)) (second L (Inv) (Pass))) ) ("4er-provider" L) )