Proofgold Term Root Disambiguation

equip (prim4 u5) u32

as obj
-

as prop
2b2ae..

theory
HotG

stx
7a72a..

address
TMGvF..