Property_as_definition_mim
short long

e	Single_property_is_definition