Introducing new short syntax for base assertions