The final type of the phrase S[dcl] indicates a sentence and hence a complete CCG proof.
at each point in a CCG parse we can deduce the possible next steps in the derivation by considering the available types and combinatory rules.