PMP allows the "dot" syntax that is similar to the standard Pascal syntax for record fields.

For example, consider the following syntax:

Var_A := Var_B.Bit_C;
if Var_B is not a record, PMP understands that we access to the Bit_C bit within Var_B.
Bit_C may be any literal, constant or boolean variable; if it is a boolean, the bit number of the boolean is used.
This syntax allows to access with the same bit definition to several variables that have the same bit positions (for example: a bit in PORTB has its equivalent in TRISB, and it may have an equivalent in an image variable).

The same method applies to the "set" notation:

Bit_C : boolean @ Var_C.1;
...
Var_A := [0, 4, Bit_C];

In this case, Bit_C is a boolean variable and has a bit number equal to 1, so the expression is equivalent to:

Var_A := B'00010011';