log:forSome

{ ?x a :Mammal. }
  => 
{ ?x :parent [ a :Mammal ]. }

could be written

{ ?x a :Mammal. }
  => 
{ this log:forSome :foo.
  ?x :parent :foo.
  :foo a :Mammal. }