A Description of Rules through Occurring/Synthetic Cardinalities