（1） 文脈 [ 構造 ] のなかで内容を有する （他の記号との聯関においてもつ内容）。

　　　　（2） 一つの記号が一つの値をもつ。

　（1） の考え方を 「意味の使用説」 と云い、（2） の考え方を 「意味の対象説」 と云います。そして、（1） の 「意味」 は meaning と呼ばれ、（2） の 「意味」 は sense と呼ばれています。事業分析・データ 設計では、モデル の入力となる文字列は、ユーザ が事業のなかで使って共有している （1） の 「意味」 を指しますが、それらの文字列を モデル （形式的構造） として構成すれば （2） の 「意味」 を実現しなければならない、すなわち モデル では、一つの記号は一つの 「意味」 （真とされる値） をもつとされています。

　（1） の 「意味」 では、一つの記号が多値になっている事象が起こり得ます──たとえば、「商品単価」 という記号について、二つの値 （正価格と割引価格） が存在するという事象です。多値は、一つの記号が複数の値をもつ事象です、コンピュータ 領域では 「配列」 と云われている事象です。したがって、モデル では多値を一価になるようにしなければならない。

　多値は、コッド 正規形では、第１正規形で排除されます──「排除」 というのは、多値を当初の タプル から外して、べつの タプル にして、多値を それぞれ 一価の タプル （row） にするということです。TM は、コッド 正規形を基本的に遵守していますが、TM の 「『関係』 文法」 のなかに 多値を排除する文法を規定していない。多値は、「『関係』 文法」 とは べつの規則としています。べつの規則にした理由は、「『関係』 文法」 が個体指定子に関する文法 （Ｔ字形の左側についての文法） であって、その文法のなかに アトリビュート （Ｔ字形の右側の項目） に関する文法を混在させるのは 構文論上 妥当ではないという理由に因る。そして、さらに、意味論上、多値は次の二つの事象をふくんでいて、それら二つの事象に対して それぞれの文法 （構文論） を用意するのが妥当であると考えたからです──

　　　　（1） OR 関係

　　　　（2） AND 関係