Mapping Inferences: Constraint Propagation And Diamond Satisfaction