{
  "format": "lemqo-claim-v1",
  "logic": "ipl",
  "name": "identity",
  "premises": [],
  "goal": ["imp", "P", "P"]
}