条件（14節）の葉が名指した起点について、定義だけから答えられること。型が定まらない起点 ——実行時にしか決まらない相手も、どの土地に置かれるかが決まっていない祖先も、どの型が来るかを 定義の側は知らない——ではどちらもundefinedを返す。
その起点が指す型そのものが、その指定（4.1節）に当てはまるか。
その起点が指す型における、そのプロパティの在り方（StaticPropertyReading）。
条件（14節）の葉が名指した起点について、定義だけから答えられること。型が定まらない起点 ——実行時にしか決まらない相手も、どの土地に置かれるかが決まっていない祖先も、どの型が来るかを 定義の側は知らない——ではどちらもundefinedを返す。