code: def p_nonfluent_list(self, p):
          '''nonfluent_list : nonfluent_list domain_section
                            | nonfluent_list objects_section
                            | nonfluent_list init_non_fluent_section
                            | empty'''
          if p[1] is None:
              p[0] = dict()
          else:
              name, section = p[2]
              p[1][name] = section
              p[0] = p[1f p_nonfluent_list(self, p):
          '''nonfluent_list : nonfluent_list domain_section
                            | nonfluent_list objects_section
                            | nonfluent_list init_non_fluent_section
                            | empty'''
          if p[1] is None:
              p[0] = dict()
          else:
              name, section = p[2]
              p[1][name] = section
              p[0] = p[1]
docs: nonfluent_list : nonfluent_list domain_section
                            | nonfluent_list objects_section
                            | nonfluent_list init_non_fluent_section
                            | empty