_:n32a0564be228430eb008c23d5eedd079xb3
<http://schema.org/position>
"3"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/tree/syntax/type-instantiation>