an initial specificaiton of the r2l-rulebase