Structural disambiguation with constraint propagation | Synapse