_:n159c4804dbaf406184bcbd2ffceb0ce9xb0
<http://schema.org/itemListElement>
_:n159c4804dbaf406184bcbd2ffceb0ce9xb2
<https://gitlab.lrde.epita.fr/spot/spot/-/blame/0278735ebe382f3588a02047f194c4b45b629250/doc/org/ltlgrind.org>