#antecedent clause #premise #presupposition #logical antecedent #if clause