Predicting the community prevalence of schistosomiasis mansoni from the prevalence among 7- to 14-year-olds