On explainable stance detection, distribution, and claim verification | Synapse