Fast and Explainable Hallucination Detection for Factual QA using Constraint-Based Semantic Matching | Synapse