and-rule/r2l
second rule /and-rule
example /and-rule
Merge pull request #817 from rodsol/conjunction

Conjunction rule-functions