The SC-structure is still mostly undetermined, but by the co-and contra-dominance principles, the solver has already established that some nodes must dominate others: A dotted edge with label s in the picture means that the solver knows there must be a path between these two nodes which starts with an s-edge.
the solver has computed a large amount of semantic information from an incomplete syntactic analysis.