Towards Formalisation of Concept Descriptions and Constraints – Matt Selway