for x being object
for V, A being set st x in ND (V,A) holds
x is TypeSCNominativeData of V,A