_:ndf9e28fb8b254aa49a9d8dd2594cbd06xb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/commit/05426068bfa4e7af9805fd2a6d283829b9d9fe91?view=inline&w=1>