Tag: structure of an argument in logic