  Lemma standardVertex1PositionTyped : valueHasType standardVertex1Position INTEGER_SIGNED_32_VEC3.
