The rules for a certain frequent-flyer club include the following statements: "Any m...

The rules for a certain frequent-flyer club include the following statements: "Any member who fails to earn any mileage during the first twelve months after enrollment in the program may be removed from the program. Except as otherwise provided, any member who fails at any time to earn mileage for a period of three consecutive years is Subject to termination of his or her membership and forfeiture of all accrued mileage. Notwithstanding this provision, no pre-July 1, 2004, member who has earned mileage (other than enrollment bonus) prior to July 1,2005, shall be subject under this provision to the termination of his or her membership and to the. cancellation of mileage accrued prior to July 1, 2005, until the amount of such mileage falls below 10,000 miles (the amount necessary for the lowest available award under the structure in place as of June 30. 2004), or until December 15, 2015, whichever comes first."

Let x be a particular member of this club, and let

p = "x fails to earn mileage during the first twelve months after enrollment."

q= "x fails to earn mileage for a period of three consecutive years."

r = "x became a. member prior to July 1, 2004,"

s = currently has at least 10,000 miles for pre-July 1, 2005, mileage (not including enrollment bonus miles),"

t= "the current date is prior to December 15, 2015."

Use symbols to write the complete condition under which x's membership may be terminated.