Still More Complex Consequent

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