$11\mathrm{.}25($Translating extended discourse$)($LPL $11\mathrm{.}25)$

$-$ Open Reichenbach's World $1$ and examine it$.$ Check to see that all of the sentences in the following discourse are true in this world.

There are $($at least$)$ two cubes. There is something between them. It is a medium dodecahedron. It is in front of a large dodecahedron. These two are left of a small dodecahedron. There are two tetrahedra.

Translate this discourse into a single first$-$order sentence. Check to see that your translation is true. Now check to see that your translation is false in Reichenbach's World $2.$

$-$ Open Reichenbach's World $2.$ Check to see that all of the sentences in the following discourse are true in this world.

There are two tetrahedra. There is something between them. It is a medium dodecahedron. It is in front of a large dodecahedron. There are two cubes. These two are left of a small dodecahedron.

Translate this into a single first$-$order sentence. Check to see that your translation is true. Now check to see that your translation is false in Reichenbach's World $1.$ However, note that the English sentences in the two discourses are in fact exactly the same; they have just been rearranged! The moral of this exercise is that the correct translation of a sentence into first$-$order logic $($or any other language$)$ can be very dependent on context. Submit your sentence file.