Proofgold Term Root Disambiguation

8a736.. ∈ setexp (setexp 2 2) 2

as obj
-

as prop
7c7c0..

theory
HotG

stx
64012..

address
TMLUj..