{ ?x con:parent [ con:sister ?y ] } => { ?x con:aunt ?y }.
or longer,
@forAll :x, :y. { @forSome :p. :x con:parent :p. :p con:sister :y. } log:implies { :x con:aunt :z }.
Tim Berners-Lee
6 of 18