Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Idris | Statement: [Haskell, influenced, Idris]

Target entity: Idris
Context triple: [Haskell, influenced, Idris]

• A. Idris
  Idris is an ancient prophet in Islamic tradition, often identified with the biblical Enoch and revered for his wisdom, piety, and early mastery of writing and knowledge.
• B. Idris I
  Idris I was an 8th-century Arab leader and descendant of the Prophet Muhammad who established one of the earliest Islamic states in Morocco, laying the foundations of the Idrisid dynasty.
• C. Idris II
  Idris II was an early 9th-century Idrisid ruler of Morocco who consolidated Islamic rule in the region and is traditionally credited with making Fez a major political and religious center.
• D. Kranidi
  Kranidi is a coastal town in the Argolid region of the Peloponnese in Greece, known as a local administrative and commercial center near popular seaside resorts like Porto Heli.
• E. Kamorta
  Kamorta is a significant inhabited island and settlement in India’s Nicobar archipelago, known for its strategic location and indigenous Nicobarese communities.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Idris
Triple: [Haskell, influenced, Idris]

Idris is a functional programming language with full dependent types, designed for expressive type-driven development and interactive theorem proving.

Target entity: Idris
Target entity description: Idris is a functional programming language with full dependent types, designed for expressive type-driven development and interactive theorem proving.

• A. Idris
  Idris is an ancient prophet in Islamic tradition, often identified with the biblical Enoch and revered for his wisdom, piety, and early mastery of writing and knowledge.
• B. Idris I
  Idris I was an 8th-century Arab leader and descendant of the Prophet Muhammad who established one of the earliest Islamic states in Morocco, laying the foundations of the Idrisid dynasty.
• C. Idris II
  Idris II was an early 9th-century Idrisid ruler of Morocco who consolidated Islamic rule in the region and is traditionally credited with making Fez a major political and religious center.
• D. Kranidi
  Kranidi is a coastal town in the Argolid region of the Peloponnese in Greece, known as a local administrative and commercial center near popular seaside resorts like Porto Heli.
• E. Kamorta
  Kamorta is a significant inhabited island and settlement in India’s Nicobar archipelago, known for its strategic location and indigenous Nicobarese communities.
• F. None of above. chosen