p: ['S', 'E', 'SE', 'P']
 t: ['Bind', 'Unbind', 'Produce']
pre: [[1 1 0 0]
 [0 0 1 0]
 [0 0 1 0]]
post: [[0 0 1 0]
 [1 1 0 0]
 [0 1 0 1]]
h: <function mm.<locals>.<lambda> at 0x794e641da3e0>
m: [301 120   0   0]
