Star formation in semi-analytic galaxy formation models with multiphase gas | Synapse