Proofgold Term Root Disambiguation

∀ x0 x1 . cad8f.. (aae7a.. x0 x1)

as obj
-

as prop
73bc9..

theory
HoTg

stx
e27bb..

address
TMS2N..