bit_substring_fct

bit_substring_fct 
      ::= 
      "substring" "(" bit_value_exp "from" start_position 
      [ "for" string_length ] ")" 

This rule is called by

-> bit_value_fct