FEVER: a Large-scale Dataset for Fact Extraction and VERification | Synapse