_:nb14ae965209a41d38ee4a1dd468cf3edxb3
<http://schema.org/position>
"3"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://gitlab.onelab.info/gmsh/gmsh/-/blob/c468900794fd269cb40c9c25ed4186d6c94b121a/demos/api/custom_gui.py>