Still More Complex Consequent


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