for l being Data-Location holds Values l = INT by AMI_2:def 16, AMI_2:7;