Text this: Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity