Definition of Precedent Condition