Proofgold Term Root Disambiguation

90e5f.. ∈ setexp (setexp 2 2) 2

as obj
-

as prop
0b79f..

theory
HotG

stx
64012..

address
TMFGZ..