Semantic interpretation of Compositional Logic in Instantiation Space