Một biểu hiện hợp lý, chỉ ra các điều kiện nhập phải được đáp ứng để cho một đường dẫn chương trình cụ thể được thực hiện.