_:na57dd90faa154fc4987349cdfd3dc551xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.lrde.epita.fr/spot/spot/-/blame/cc8dd49d060608d97681bee0613e10f206a8bc4d/src/tgbatest/ltl2tgba.cc>