PPT Slide
Reification of V assuming syntax is in the domain (so REIF is just the identity):
<x,y> is in IEXT(I(rdf:subject)) iff x is a V-triple of the form <y b c>
<x,y> is in IEXT(I(rdf:predicate)) iff x is a V-triple of the form <a y c>
<x,y> is in IEXT(I(rdf:subject)) iff x is a V-triple of the form <a b y>
x is in IEXT(I(rdf:Statement)) iff x is a V-triple.
BUT NOTE there in no way to assert a reified triple, ie to get it interpreted.
(Nothing generates I(<a b c>) )