Transformation Rules


This could be a normal rule declaration:

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

But let's use it as a transformation rule, with cwm's --filter option.