Ring Constraint Shape is attached to Fact Type Shape, not Fact Type