{ ?IFP a owl:InverseFunctionalProperty; 
       :productProperty ?LIST .
  ?P :distributes (?LIST ?ARGS) .
  ?Q :distributes (?LIST ?ARGS) }
 => { ?P owl:sameAs ?Q } .

{ ?S ?P ?O . 
  ?PPLIST a :PPList; 
     rdf:first ?P; rdf:rest rdf:nil }
 => { ?S :distributes (?PPLIST (?O)) } .

{ ?S ?P ?O .
  ?PPLIST a :PPList; 
     rdf:first ?P; rdf:rest ?REST .
  ?S :distributes (?REST ?ARGS) }
 => { ?S :distributes (?PPLIST [ rdf:first ?O; rdf:rest ?ARGS ]) } .

{ ?IFP :productProperty ?LIST }
 => { ?LIST a :PPList } .
 
{ ?LIST a :PPList; rdf:rest ?REST }
 => { ?REST a :PPList } .