I = { r0, r1 } O = { a0, a1 } ME = [ r0? -> a0! ; r0? ; a0! ; ME , r1? -> a1! ; r1? ; a1! ; ME ]