Logical Interpretation related domains (1)