Translate into FOL, using these interpretations:

ㅤㅤM(x) == x is a Martian.
ㅤㅤt == Tom Cruise

1. Tom Cruise is a Martian.
ㅤㅤShort form:
Thus,
2. Tom Cruise is a Martian.
ㅤㅤShort form: