Count children of Straightforward-Justification nodes, when they exist.
Projectivity, sethood, more coherence conditions.