semantic address: liberatory operator set