For each possible combination of the coefficients, a Boolean valued proposition is determined using relational operators to generate a propositional space. 係数の可能な連結毎に、関係演算子を用いてブール値命題が求められ、命題空間が生成される。 - 特許庁
A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression. 述語式変換部105は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。 - 特許庁