If Guan sent an athlete to the Calgary Winter Olympics, then the athelete participated in the Olympics in 1988.
∀x (Athlete(x) ∧ SendTo(guam, x, calgaryWinterOlympics) → ParticipatedIn(x, winterOlympics, year1988))