Reasoning with Triggers