revision preference src: A cement is a binder, a substance used for construction that sets, hardens, and adheres to other materials to bind them together. <SEP> tgt: Cement is a material that hardens and sticks to other materials to hold them together.