:hasStateThrough a owl:ObjectProperty;
    owl:propertyChainAxiom ( :hasPage :hasState ) .