Although our approach of visual verification is applicable to real images (more discussion in Sec. 6), we choose to use abstract images<cite> [2,</cite> 3, 39, 38, 40] as a test bed because abstract scene images allow us to focus on high-level semantic reasoning.