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: International Conference on Automated Deduction Association | Statement: [Conference on Automated Deduction, organizedBy, International Conference on Automated Deduction Association]

Target entity: International Conference on Automated Deduction Association
Context triple: [Conference on Automated Deduction, organizedBy, International Conference on Automated Deduction Association]

• A. Conference on Automated Deduction
  The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
• B. Journal of Automated Reasoning
  The Journal of Automated Reasoning is a peer-reviewed academic journal focusing on research in automated reasoning, formal methods, and related areas of computer science and logic.
• C. European Association for Theoretical Computer Science
  The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
• D. Proceedings of the IEEE Symposium on Logic in Computer Science
  Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
• E. Association for Symbolic Logic
  The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
• 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: International Conference on Automated Deduction Association
Triple: [Conference on Automated Deduction, organizedBy, International Conference on Automated Deduction Association]

The International Conference on Automated Deduction Association is the organization responsible for overseeing and coordinating the premier international research conference in the field of automated reasoning and deduction.

Target entity: International Conference on Automated Deduction Association
Target entity description: The International Conference on Automated Deduction Association is the organization responsible for overseeing and coordinating the premier international research conference in the field of automated reasoning and deduction.

• A. Conference on Automated Deduction chosen
  The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
• B. Journal of Automated Reasoning
  The Journal of Automated Reasoning is a peer-reviewed academic journal focusing on research in automated reasoning, formal methods, and related areas of computer science and logic.
• C. European Association for Theoretical Computer Science
  The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
• D. Proceedings of the IEEE Symposium on Logic in Computer Science
  Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
• E. Association for Symbolic Logic
  The Association for Symbolic Logic is an international scholarly organization devoted to the advancement of research and education in logic, including mathematical, philosophical, and computational aspects.
• F. None of above.