for v being object
for V, A being set
for D being TypeSCNominativeData of V,A st v in V holds
denaming (v,(naming (V,A,v,D))) = D