Use -> for if-then, & for and, / for or, ~ for not, and exactly_one(...) or at_least_two(...) with their ordinary meanings. Let LWI = the lender waives the inspection; PNB = the property is newly built; CER = a certified engineer files a report; ECL = the lender uses expedited closing. Statement: The lender waives the inspection only if the property is newly built or a certified engineer files a report, and the lender uses expedited closing only if the inspection is waived. Which one of the following most accurately translates the statement?