Reified Rule?

Consider the extensional entailment rule ext1..

_:ext1 rdf:first [ rdf:subject   _:uuu ;
                   rdf:predicate rdfs:domain ;
                   rdf:object    _:vvv .
                 ] ;
       rdf:rest  [ rdf:first [ rdf:subject   _:vvv ;
                               rdf:predicate rdfs:subClassOf ;
                               rdf:object    _:zzz .
                             ] ;
                   rdf:rest  rdf:nil .
                 ] ;
       _:imply   [ rdf:first [ rdf:subject   _:uuu ;
                               rdf:predicate rdfs:domain ;
                               rdf:object    _:zzz .
                             ] ;
                   rdf:rest  rdf:nil .
                 ] .

If we encounter the statement, e.g., ..

rdf:type rdfs:domain rdfs:Resource

Then a new rule is generated... (substitute _:uuu with rdf:type and _:vvv with rdfs:Resource, removing the first node of the list _:ext1)

_:rule1 rdf:first [ rdf:subject   rdfs:Resource ;
                    rdf:predicate rdfs:subClassOf ;
                    rdf:object    _:zzz .
                  ] ;
        rdf:rest  rdf:nil ;
        _:imply   [ rdf:first [ rdf:subject   rdf:type ;
                                rdf:predicate rdfs:domain ;
                                rdf:object    _:zzz .
                              ] ;
                    rdf:rest  rdf:nil .
                  ] .

Do we have any vocabulary the same meaning as the _:imply property above?