Triple

T20404897
Position Surface form Disambiguated ID Type / Status
Subject Fuchsian singularity E500440 entity
Predicate conditionOnCoefficients P140015 FINISHED
Object (z - z0) a_k(z) / a_n(z) is analytic at z0 for k < n LITERAL FINISHED

How this triple was built (2 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
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).
Input
Phrase: (z - z0) a_k(z) / a_n(z) is analytic at z0 for k < n | Statement: [Fuchsian singularity, conditionOnCoefficients, (z - z0) a_k(z) / a_n(z) is analytic at z0 for k < n]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: conditionOnCoefficients
Context triple: [Fuchsian singularity, conditionOnCoefficients, (z - z0) a_k(z) / a_n(z) is analytic at z0 for k < n]
  • A. conditionOnExponents
    Indicates a relationship where one quantity or property is defined, constrained, or determined based on the exponents of another expression or set of values.
  • B. coefficientsIn
    Indicates that one entity appears as a coefficient within the mathematical expression or representation of another entity.
  • C. coefficientSystems
    Indicates a relationship where specific numerical or algebraic coefficients are assigned or associated with a system, structure, or set of elements.
  • D. holdsWithCoefficients
    Indicates that a relationship or equation remains valid when specific numerical coefficients are applied to its terms.
  • E. coefficientProperty
    Indicates a relationship where one entity serves as a coefficient or scalar factor that quantitatively modifies or characterizes another entity or property.
  • F. None of above. chosen

Provenance (4 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69e0b4a81bec8190b69adfdc1336a015 completed April 16, 2026, 10:06 a.m.
NER Named-entity recognition batch_69e6799161c48190825eca3027d1aa51 completed April 20, 2026, 7:08 p.m.
PD Predicate disambiguation batch_69e5765d7cb48190adec18d6d1e3d263 completed April 20, 2026, 12:42 a.m.
PDg Predicate description generation batch_69e58d7481508190a87c8b88f9df9879 completed April 20, 2026, 2:20 a.m.
Created at: April 16, 2026, 11:29 a.m.