[ 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.
http://www.w3.org/2000/10/swap/doc/
23 of 32