User utterance: what kind of glue is used for gluing pipes together