Proofgold Term Root Disambiguation

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

address
TMVjS..^per_i_def