health satisfaction measurement (EFO_0009724) is quantification of health satisfaction.