_:nffa13e76c2cd49be8e5fa0faa3340c05xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://git.scc.kit.edu/uwdkl/mjtest-tests/-/blob/dec73056ead76c03b9c40a3479f48233e4a4cd6b/lexer/array_max.mj.out>