Dataset For Training LLMs To Translate English Into Statements Of Pure Zero-order Logic (ZOL)

All my searching so far leads me to suspect that this is a dataset that does not exist. There are a bunch of datasets that primarily focus on examples of English-to-ZOL, but the creators always insist on throwing some first-order logic in there as well. I can explain why that’s a problem if anyone is genuinely curious (as opposed to simply wanting to have an argument.)

TL;DR: I need a dataset that makes a point out of including examples of English (when a sentence actually allows for it) being translated only into ZOL, no higher-order logic whatsoever.