More Complex Consequent


{ ?x :son ?y } 
  => 
{ ?y a :Male.  
  ?y :parent ?x. 
  ?x a :Parent. }.