log:forAll

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

could be written

this log:forAll :x, :y.
{ :x :son :y } => { :y a :Male }.

? is just shorthand for "this log:forAll" in the parent formula

Sometimes you want explicit scopes.