e/Enumerative induction

Information
has gloss	eng: In logic, an enumerative induction is an argument of the type simple inductive schema.
lexicalization	eng: Enumerative induction
instance of	e/Argument