Given, <(a * b) --> r> and <(b * a) --> r> there should be a generalised implication <<($1 * $2) --> r> ==><($2 * $1) --> r>> The inference rule set from Narjure is not sufficient to generate this generalisation.
Given, <(a * b) --> r> and <(b * a) --> r> there should be a generalised implication
<<($1 * $2) --> r> ==><($2 * $1) --> r>>
The inference rule set from Narjure is not sufficient to generate this generalisation.