“If rain is forecast for Wednesday I’ll buy an umbrella; otherwise I’ll buy a latte.”

Relations:

• R(x) = "rain is forecast for x"
• B(y, z)) = "y buys a z"

Objects =

• u = umbrella
• i = I
• w = Wednesday
• l = latte

Predicate: (R(w) $\rightarrow$ B(i, u)) $\land$ ($\lnot$ B(i, u) $\rightarrow$ B(i, l)