I want to know if these two alternative formulations for English sentences are well represented in first order logic.
"Caracas and Valencia are located in Venezuela."
LOCATED_IN (Caracas ^ Valencia, Venezuela)
"There is a state that borders Indiana and Washington."
Exists s: State(s) ^ Borders (s, Indiana) ^ Borders (s, Washington)
I'm particularly doubtful about my second interpretation, should it have a biconditional <=> to make it not axiomatic and more like a theorem?