Property extension defines the successor within a path definition, which is separated by a dot from its predecessor.
property_extension := '.' identifier