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: Lean 4 Real | Statement: [Die Lit, hasPart, Lean 4 Real]

Target entity: Lean 4 Real
Context triple: [Die Lit, hasPart, Lean 4 Real]

• A. Vale programming language
  Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
• B. Labda
  Labda is a figure in ancient Greek history and mythology known primarily as the mother of Cypselus, the first tyrant of Corinth.
• C. Langevin Block
  The Langevin Block is a historic federal government office building in Ottawa, Canada, that houses the Prime Minister’s Office and senior staff.
• D. Engineering Quad
  The Engineering Quad is the central hub of Cornell University's College of Engineering, housing key academic buildings, labs, and student spaces for engineering disciplines.
• E. LCE
  LCE is the Marine Corps Logistics Combat Element, the component responsible for providing comprehensive combat service support to Marine Air-Ground Task Forces.
• 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: Lean 4 Real
Triple: [Die Lit, hasPart, Lean 4 Real]

"Lean 4 Real" is a track by Playboi Carti from his influential 2018 album *Die Lit*, known for its minimalist production and Carti's signature ad-lib-heavy delivery.

Target entity: Lean 4 Real
Target entity description: "Lean 4 Real" is a track by Playboi Carti from his influential 2018 album *Die Lit*, known for its minimalist production and Carti's signature ad-lib-heavy delivery.

• A. Vale programming language
  Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
• B. Labda
  Labda is a figure in ancient Greek history and mythology known primarily as the mother of Cypselus, the first tyrant of Corinth.
• C. Langevin Block
  The Langevin Block is a historic federal government office building in Ottawa, Canada, that houses the Prime Minister’s Office and senior staff.
• D. Engineering Quad
  The Engineering Quad is the central hub of Cornell University's College of Engineering, housing key academic buildings, labs, and student spaces for engineering disciplines.
• E. LCE
  LCE is the Marine Corps Logistics Combat Element, the component responsible for providing comprehensive combat service support to Marine Air-Ground Task Forces.
• F. None of above. chosen