Proofgold Term Root Disambiguation

as obj
-

as prop
c93f5..^TrueI

theory
HF

stx
6735c..

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'hfprimnum' => 2, 'primname' => 'True', )

address
TMRss..^TrueI