category and property ("trait" or Parameter) otherwise seems to work. The next part for validation if Method.