Property:Has code

this is an example property to explain the type has type::Code