Proofgold Term Root Disambiguation

atleastp 41 (exp_nat 2 6)

as obj
-

as prop
89af8..

theory
HotG

stx
32d40..

address
TMFuQ..