Proofgold Term Root Disambiguation

∀ x0 x1 x2 . transitive (3897e.. x0 x1 x2)

as obj
-

as prop
e3ced..

theory
HotG

stx
c4834..

address
TMJBf..