Which First-Order Logic (FOL) formula expresses the following English sentence? There is a country that borders both Canada and Mexico. 3c Country(c) ^ Border (c, Canada) 1 Border (c, Mexico). 3c Country(c) = [Border (c, Canada) A Border (c, Mexico)) [3c Country(C)][Border (c, Canada) Border (c, Mexico)]. 3c Border (Country(c), Canada - Mexico)