Define argument types (inductive or deductive)