Type the four completeness × disjointness combinations.

Answer

total / disjoint : every instance in exactly one subtype total / overlap : every instance in at least one (maybe several) partial / disjoint: at most one subtype, or none partial / overlap : zero, one, or many subtypes

Completeness (total/partial) and disjointness (disjoint/overlap) are independent, so every specialization is exactly one of these four. Total = double line; partial = single line; disjoint = d; overlap = o.