add tessler2014syllogisms