_:n32a0564be228430eb008c23d5eedd079xb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ListItem>
<https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/tree/syntax/type-instantiation>