@misc{indiciae873323f69835,
  title = {The TPTP Format for Interpretations},
  author = {Geoff Sutcliffe and Alexander Steen and Pascal Fontaine and Lydia Kondylidou},
  year = {2026},
  url = {https://arxiv.org/abs/2406.06108},
  note = {Source identifier: 2406.06108}
}