Proofgold Term Root Disambiguation

69aae.. 2 2 = 4

as obj
-

as prop
fddcf..

theory
HF

stx
d6132..

address
TMJmL..