Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . symmetric_i x0 ⟶ transitive_i x0 ⟶ per_i x0

as obj
-

as prop
7c1a4..^per_i_I

theory
HF

stx
b6147..

address
TMSsi..^per_i_I