canvas { width = 100 height = 100 } forall Set A; Set B where SubSet(A, B) { ensure contains(A.icon, B.icon, 5.0) A.icon above B.icon } forall Set x { x.icon = Circle { strokeWidth : 0.0 } ensure x.icon.r > 25 }