Typed and negative typed properties; Multiple individuals and negation in the CIDOC CRM