∀x(Thing(x)→Cleanadj(x))
I don't know if this is the right solution according to the syntax of first-order logic, but I have solved the problem of the pesky fact that our modern English causative verbs often look exactly like adjectives by using a subscript, as you see.
All the things are clean. All the floors are swept and mopped or vacuumed as appropriate. The bags are packed. The laundry is done and folded and put away. The trash and recycling are out. My place will therefore be fit to come home to when I come home next Sunday.
Which means when![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
wordplay comes to take me to the airport in a little more than an hour, I will be totally ready to go! Yaaay vacation!
I don't know if this is the right solution according to the syntax of first-order logic, but I have solved the problem of the pesky fact that our modern English causative verbs often look exactly like adjectives by using a subscript, as you see.
All the things are clean. All the floors are swept and mopped or vacuumed as appropriate. The bags are packed. The laundry is done and folded and put away. The trash and recycling are out. My place will therefore be fit to come home to when I come home next Sunday.
Which means when
wordplay comes to take me to the airport in a little more than an hour, I will be totally ready to go! Yaaay vacation!