Rules Constraints Phonolog Phenom C door