1.) Natural sentence: Either I will eat ham or I will eat turkey.
Library: H = I will eat ham, T = I will eat turkey
Symbolization: H v T
2.) Natural sentence: Yesterday, we danced, played, and ate so much!
Library: D = we danced so much, P = we played so much, A = we ate so much
Symbolization: [D & (P&A)]
3.) Natural sentence: Harrison or John will win Prom King
Library: H = Harrison will win Prom King, J = John will win Prom King
Symbolization: H v J
Tafacorian Thoughts 