@prefix : <#> .
    
     @forAll :b,
                :c .
    {
        
          [      :parent :b;
                 :sister :c ].
        
        }     => {:b     :aunt :c .
        } .