Tag inductive reasoning