_:foo

[ a :Mammal. ]

could be written

this log:forSome :foo.
:foo a :Mammal.

But this is not the rule we had:

{ ?x a :Mammal. }
  => 
{ ?x :parent _:foo.
  _:foo a :Mammal. }

Here, there is only one parent for all things.