Formal Methods for Early Prediction of Frozen Shoulder severity and recovery: A multicentre prospective study | Synapse