_:n80363920c4214f70bf7e05f1749f01f2xb2
<http://schema.org/position>
"2"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://valiosys.com/what-is-automath-what-does-automath-mean-automath-meaning-definition-explanation>