The syntax of the conclusion of rules is simpler than conditions. Notice that in the conclusion of rules no paths can appear because the module can only conclude local facts.
Conclusions may appear on affirmative or on negative form. Concluded facts must be of many-valued or set types. e.g.:
R005 If ... then conclude t=y is definite
For set facts the value of every element is concluded independently. For instance, for the fact t of type (x,y,z) the rule R005 give the value definite as the membership degree of y to the fact t.