And more...

{ ?x a :Mule. }
  => 
{ ?x :parent [ a :Horse, :Female ],
             [ a :Donkey, :Male ] }

Still just a basic statement of fact.

It's also Turing Complete.