Proofgold Term Root Disambiguation

equip 4 (setsum 2 2)

as obj
-

as prop
5b991..

theory
HotG

stx
594e8..

address
TMX8p..