text2log

ds = tfds.load('huggingface:text2log')

The dataset contains about 100,000 simple English sentences selected and filtered from enTenTen15 and their translation into First Order Logic (FOL) Lambda Dependency-based Compositional Semantics using ccg2lambda.

{
    "sentence": {
        "dtype": "string",
        "id": null,
        "_type": "Value"
    },
    "fol_translation": {
        "dtype": "string",
        "id": null,
        "_type": "Value"
    }
}