Proofgold Term Root Disambiguation

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

address
TMcMp..^{partialorder_i_def}