Chorological abductive inferring: case studies of tracing spatial dissemination of COVID-19 | Synapse