for x being object
for V, A being set st x in NDSS (V,A) holds
x is TypeSSNominativeData of V,A