起点が指す相手の、そのプロパティの在り方（StaticSubjectReader.propertyOf）。分からなければ undefined——型が定まらない起点も、上下限を宣言していないプロパティもそちらへ倒れる。
その型が取りうる値の範囲（StaticValueRange）。
そのプロパティを持つ相手が居ない。0として読まれるのではなく、どの比較も偽になる （ConditionNode.evaluateProperty。解決できない葉は偽で、否定したければnotで包む）。
起点が指す相手の、そのプロパティの在り方（StaticSubjectReader.propertyOf）。分からなければ undefined——型が定まらない起点も、上下限を宣言していないプロパティもそちらへ倒れる。