Fixing FOLIO and MALLS: Verified Annotations and… · DeepSignal