docs: def read_data_to_asp(file: str) -> List[str]:
      """ Reads the given JSON file and generates the ASP definition.
          Args:
              file: the json data file
          Returns:
              the asp definition.
      """
      if file.endswith(".json"):
          with open(file) as f:
              data = json.load(f)
              return schema2asp(data2schema(data))
      elif file.endswith(".csv"):
          df = pd.read_csv(file)
          df = df.where((pd.notnull(df)), None)
          data = list(df.T.to_dict().values())
          schema = data2schema(data)
          asp = schema2asp(schema)
          return asp
      else:
          raise Exception("invalid file type")