
| {llllA}                                                            | 7→   | LEFTleftA   |
|--------------------------------------------------------------------|------|-------------|
| {llll+, lllb+, lllr+}                                              | 7→   | LEFTleft+   |
| {lrll, lbll}                                                       | 7→   | LEFTleft−   |
| {ffff, eses, fefe, fifi, ibib, fbii, fsei, ebis, iifb, eifs, iseb} | 7→   | FRONTfront  |
| {bbbb}                                                             | 7→   | BACKback    |
| {llbr}                                                             | 7→   | LEFTback    |
| {llfl, lril, lsel}                                                 | 7→   | LEFTfront   |
| {llrrP}                                                            | 7→   | LEFTrightP  |
| {llrr+}                                                            | 7→   | LEFTright+  |
| {llrf, llrl, llrr−, lfrr, lrrr, lere, lirl, lrri, lrrl}            | 7→   | LEFTright−  |
| {rrrrA}                                                            | 7→   | RIGHTrightA |
| {rrrr+, rbrr, rlrr}                                                | 7→   | RIGHTright+ |
| {rrrr−, rrrl, rrrb}                                                | 7→   | RIGHTright− |
| {rrllP}                                                            | 7→   | RIGHTleftP  |
| {rrll+, rrlr, rrlf, rlll, rfll, rllr, rele, rlli, rilr}            | 7→   | RIGHTleft+  |
| {rrll−}                                                            | 7→   | RIGHTleft−  |
| {rrbl}                                                             | 7→   | RIGHTback   |
| {rrfr, rser, rlir}                                                 | 7→   | RIGHTfront  |
| {ffbb, efbs, ifbi, iibf, iebe}                                     | 7→   | FRONTback   |
| {frrr, errs, irrl}                                                 | 7→   | FRONTright  |
| {flll, ells, illr}                                                 | 7→   | FRONTleft   |
| {blrr}                                                             | 7→   | BACKright   |
| {brll}                                                             | 7→   | BACKleft    |
| {bbff, bfii, beie, bsef, biif}                                     | 7→   | BACKfront   |
| {slsr}                                                             | 7→   | SAMEleft    |
| {sese, sfsi, sisf}                                                 | 7→   | SAMEfront   |
| {sbsb}                                                             | 7→   | SAMEback    |
| {srsl}                                                             | 7→   | SAMEright   |

Figure 10: Mapping from DRAfp to DRAopp relations