_:ne680378c33b1486b9c1bb7acc2b6ffe1xb1
<http://schema.org/position>
<https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/blame/fd4c762b41ce5bde04ce7716c43cf7a501cadf00/tests/libtest/tallyingTest.ml>