@prefix : <#> .
    @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
    
     @forAll :_g0,
                :_g1,
                :_g2,
                :p .
    
    :ancestor     a daml:TransitiveProperty .
    
    :granpa     :ancestor :bill,
                :pa .
    
    :pa     :ancestor :bill .
    {
        :p     a daml:TransitiveProperty .
        
        }     => { @forAll :x,
                    :y,
                    :z .
        {
            :x     :p :y .
            :y     :p :z .
            
            }     => {:x     :p :z .
            } .
        } .
    {
        :_g0     :ancestor :_g1 .
        :_g1     :ancestor :_g2 .
        
        }     => {:_g0     :ancestor :_g2 .
        } .