LLMs fail at conditional logic

 Preposition Connections

We could use relation operators for the prepositions, have them driven logically by the relations involved. The preposition connection inherits the relation timestamp.

The preposition connection follows the relation connection.

But this isn’t right. The money stays on the table after the person puts it there, and after the person has beetled off. It has to be a change of state, which remains until changed by something else. A LATCH should do – an incoming True sets the output True – it fades away, the output stays True (and remembers when it was set). An incoming False with no incoming Trues sets the output False. (this does not apply to a verb/preposition pair, such as “he puts on an act”)

Then

When the money goes into his bank account, it ceases to be on the table, and it changes from a physical object (banknotes) to an abstract object (an account entry).

Is there a simpler way to do this? Probably not, if we want the workings to be accessible, and accurate timestamps on the preposition relations – putting the money on the table might take a few seconds, it stays there for weeks.