P06-2105 . For example , the automatic axiom generation module does not consider chains
W15-0406 than a manually crafted one . The axiom generation procedure randomly selects an
hide detail