Added diagrammetrics related to disjunction.