  Lemma standardVertex0PositionTyped : valueHasType standardVertex0Position INTEGER_SIGNED_32_VEC3.
