Defining our concept validation rules for OCL

[akanter (Andrew Kanter)]

The FSN uniqueness is clear. FSN would rarely be a synonym for something else as the whole point of an FSN is that it uniquely describes the concept.