Petrov type I spacetime curvature: principal null vector spanning dimension

The class of Petrov type I curvature tensors is further divided into those for which the span of the set of distinct principal null directions has dimension four (maximally spanning type I) or dimension three (nonmaximally spanning type I). Explicit examples are provided for both vacuum and nonvacuum spacetimes.