Representing metadata constraints in Common Logic. (11th November 2009)