Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'totalorder_i = λ x1 : ι → ι → ο . and (partialorder_i x1) (linear_i x1)', )

address
TMNMh..^{totalorder_i_def}