%namespace "http://test.org/test3".

%sig A = {
   a: type.
}.