  Lemma standardVertex2PositionTyped : valueHasType standardVertex2Position INTEGER_SIGNED_32_VEC3.
