:: deftheorem defines SCM-Data-Loc SCM_INST:def 1 :
SCM-Data-Loc = [:{1},NAT:];