Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'stricttotalorder_i = λ x1 : ι → ι → ο . and (strictpartialorder_i x1) (trichotomous_or_i x1)', )

address
TMNQ1..^{stricttotalorder_i_def}