Answer: Option B
An action assertion is a statement that expresses some aspect of the static structure of the organization.
There is cardinality on an EER between the supertype and subtype.
If an entity adheres to the disjoint rule, then an entity instance can be a member of more than one entity for a given supertype.
An entity cluster is a set of one or more entity types and associated relationships.