_:ndfff1b0f5fa443ea9483c089a920c130xb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.aei.uni-hannover.de/finesse/pykat/-/blame/5a10c5b25049860324805de021286f4cd4d43e50/pykat/finesse.py?page=1>