Conditional Logic Guided Overview