Automatic Verification of Data Summaries. - Rayhane Rezgui; Mohammed Saeed 002; Paolo Papotti (INLG, 2021)