| X+Y→Bind[X,Y] | a |
| X+YP→Bind[X,YP] | a |
| XPP+YP→Bind[XPP,YP] | a |
| XPP+YPP→Bind[XPP,YPP] | a |
| X+Z→Bind[X,Z] | a |
| XP+Z→Bind[XP,Z] | a |
| Y+Z→Bind[Y,Z] | a |
| Y+ZP→Bind[Y,ZP] | a |
| YPP+ZP→Bind[YPP,ZP] | a |
| XP+ZPP→Bind[XP,ZPP] | a |
| XPP+ZPP→Bind[XPP,ZPP] | a |
| YPP+ZPP→Bind[YPP,ZPP] | a |
| Bind[X,Y]→X+Y | d |
| Bind[X,Y]→X+YP | k |
| Bind[X,YP]→X+YP | d |
| Bind[X,YP]→X+YPP | k |
| Bind[X,Z]→X+Z | d |
| Bind[X,Z]→XP+Z | k |
| Bind[XP,Z]→XP+Z | d |
| Bind[XP,Z]→XPP+Z | k |
| Bind[XP,ZPP]→X+ZPP | k |
| Bind[XP,ZPP]→XP+ZPP | d |
| Bind[XPP,YP]→XPP+Y | k |
| Bind[XPP,YP]→XPP+YP | d |
| Bind[XPP,YPP]→XPP+YP | k |
| Bind[XPP,YPP]→XPP+YPP | d |
| Bind[XPP,ZPP]→XP+ZPP | k |
| Bind[XPP,ZPP]→XPP+ZPP | d |
| Bind[Y,Z]→Y+Z | d |
| Bind[Y,Z]→Y+ZP | k |
| Bind[Y,ZP]→Y+ZP | d |
| Bind[Y,ZP]→Y+ZPP | k |
| Bind[YPP,ZP]→YPP+Z | k |
| Bind[YPP,ZP]→YPP+ZP | d |
| Bind[YPP,ZPP]→YPP+ZP | k |
| Bind[YPP,ZPP]→YPP+ZPP | d |
