code: def get_values (feature, properties):
      
      if feature[0] != '<':
       feature = '<' + feature + '>'
      result = []
      for p in properties:
          if get_grist (p) == feature:
              result.append (replace_grist (p, ''))
  
      return result
docs: Returns all values of the given feature specified by the given property set.