rule -> cardinality for Software