Proofgold Term Root Disambiguation

9de32.. ∈ setexp (setexp 2 2) 2

as obj
-

as prop
b2e87..

theory
HotG

stx
64012..

address
TMRGb..