All tagged Learning Predicate Logic Visually