----------------------------------------
|context> => |context: 2 element truth table>

supported-ops |row-1> => |op: pattern>
pattern |row-1> => 0.0|a> + 0.0|b>

supported-ops |row-2> => |op: pattern>
pattern |row-2> => |a> + 0.0|b>

supported-ops |row-3> => |op: pattern>
pattern |row-3> => 0.0|a> + |b>

supported-ops |row-4> => |op: pattern>
pattern |row-4> => |a> + |b>

supported-ops |a> => |op: OR-2> + |op: AND-2>
OR-2 |a> => |x1>
AND-2 |a> => 0.5|x1>

supported-ops |b> => |op: OR-2> + |op: AND-2>
OR-2 |b> => |x1>
AND-2 |b> => 0.5|x1>

supported-ops |*> => |op: OR> + |op: AND> + |op: XOR> + |op: table>
OR |*> #=> push-float binary-filter OR-2 binary-filter pattern |_self>
AND |*> #=> push-float binary-filter AND-2 binary-filter pattern |_self>
XOR |*> #=> push-float xor-filter OR-2 binary-filter pattern |_self>
table |*> #=> table[row,pattern,OR,AND,XOR] ket-sort starts-with |row->
----------------------------------------