Updated the comment to clarify what is meant.

        -- represent the dotted-decimal subnet mask of "255.255.255.248" corresponding to

        -- a /29 CIDR-format subnet mask

    iP-NAT-translated   [6] BOOLEAN OPTIONAL

        -- If TRUE then NAT translated, if FALSE then explicit original in NAT.

        -- If absent, address may or may not be translated.

        -- If TRUE then NAT translated, if FALSE then not NAT translated.

        -- If absent, IPAddress may or may not be NAT translated.

}

IP-value ::= CHOICE