Classifier Instance:

Anchor text: (higher-order)
Target Entity: Higher\u002dorder_logic
Preceding Context: similar
Succeeding Context: logics and implementation strategies.
Paragraph Title: null
Source Page: HOL (proof assistant)

Ground Truth Types:

|---wordnet_entity_100001740
|  |---wordnet_artifact_100021939
|  |  |---wordnet_instrumentality_103575240
|  |  |  |---wordnet_system_104377057

Predicted Types:

TypeConfidenceDecision
wordnet_artifact_100021939-0.9048895663774149 0
wordnet_event_100029378-0.7799889292175124 0
wordnet_organization_108008335-1.324937688322746 0
wordnet_person_100007846-0.9827507396396696 0
yagoGeoEntity-1.200917356751984 0
|---wordnet_entity_100001740
|  |---wordnet_artifact_100021939
|  |---wordnet_event_100029378
|  |---wordnet_organization_108008335
|  |---wordnet_person_100007846
|  |---yagoGeoEntity