kb:combinational_logic