Can We Access Instance Definition Programming Languages