Text this: Mapping Inferences: Constraint Propagation and Diamond Satisfaction