Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => '∀ x0 x1 : ο . iff x0 x1 ⟶ x0 = x1', )

address
TMVB8..^prop_ext