I took a statement like
"Caracas and Valencia are located in Venezuela"
and expressed it as:
LocatedIn (Caracas, Venezuela) ^ LocatedIn(Valencia, Venezuela)
Is this a statement in propositional logic, first order logic or both?
I'm inclined to say it's first order logic due to its use of predicates, with an implied for all quantifier before it.