["license:apache-2.0", "size_categories:1M<n<10M", "format:parquet", "modality:text", "library:datasets", "library:dask", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "relevant_lemmas", "sequence": "string"}, {"name": "prev_tactics", "sequence": "string"}, {"name": "context", "struct": [{"name": "bg_goals", "list": [{"name": "goal", "dtype": "string"}, {"name": "hypotheses", "sequence": "string"}]}, {"name": "fg_goals", "list": [{"name": "goal", "dtype": "string"}, {"name": "hypotheses", "sequence": "string"}]}, {"name": "given_up_goals", "list": [{"name": "goal", "dtype": "string"}, {"name": "hypotheses", "sequence": "string"}]}, {"name": "shelved_goals", "list": [{"name": "goal", "dtype": "string"}, {"name": "hypotheses", "sequence": "string"}]}]}, {"name": "tactic", "dtype": "string"}]