_:ne680378c33b1486b9c1bb7acc2b6ffe1xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/blame/fd4c762b41ce5bde04ce7716c43cf7a501cadf00/tests/libtest/tallyingTest.ml>