Relaxed cardinality on cycle attributes based on examples