Proofgold Term Root Disambiguation

69aae.. 2 3 = 8

as obj
-

as prop
16311..

theory
HF

stx
d6132..

address
TMT7D..