此语句的一阶逻辑表示

Question

对于表达式

从波士顿起飞的班机到了。

我需要给出一个面向事件的一阶逻辑表示。

如果是the flight arrived，我会说

到达（e）^到达（e，飞行）

如何将命题短语from boston融入其中？

Answer 1

如果您想保留Arrived和Arrived_thing

到达（e）^到达（e，航班）^之前（波士顿，航班）

希望这能有所帮助。