Proofgold Term Root Disambiguation

69aae.. 2 4 = 16

as obj
-

as prop
cf2be..

theory
HF

stx
d6132..

address
TMaij..