---------------------------------------- |context> => |context: simple logic example> supported-ops |a> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label> pattern |a> => 0.0|x1> + 0.0|x2> OR-label |a> => |0> XOR-label |a> => |0> AND-label |a> => |0> supported-ops |b> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label> pattern |b> => 0.0|x1> + |x2> OR-label |b> => |1> XOR-label |b> => |1> AND-label |b> => |0> supported-ops |c> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label> pattern |c> => |x1> + 0.0|x2> OR-label |c> => |1> XOR-label |c> => |1> AND-label |c> => |0> supported-ops |d> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label> pattern |d> => |x1> + |x2> OR-label |d> => |1> XOR-label |d> => |0> AND-label |d> => |1> supported-ops |u> => |op: input-pattern> input-pattern |u> => 0.0|x1> + 0.0|x2> supported-ops |v> => |op: input-pattern> input-pattern |v> => 0.0|x1> + |x2> supported-ops |x> => |op: input-pattern> input-pattern |x> => |x1> + 0.0|x2> supported-ops |y> => |op: input-pattern> input-pattern |y> => |x1> + |x2> supported-ops |*> => |op: OR> + |op: XOR> + |op: AND> + |op: or> OR |*> #=> OR-label drop-below[0.7] similar[input-pattern,pattern] |_self> XOR |*> #=> XOR-label drop-below[0.7] similar[input-pattern,pattern] |_self> AND |*> #=> AND-label drop-below[0.7] similar[input-pattern,pattern] |_self> or |*> #=> OR-label similar[input-pattern,pattern] |_self> ----------------------------------------