kb:sequential_logic