Tag: logical reasoning for clat