:: deftheorem defines SC_exists NOMIN_2:def 2 :
for V, A being set
for v being object
for p being SCPartialNominativePredicate of V,A holds SC_exists (p,v) = (SCexists (V,A,v)) . p;