Proofgold Term Root Disambiguation

as obj
-

as prop
e3c12..^{atleastp_SNoS_ordsucc_omega_Power_omega}

theory
HotG

stx
aa676..

address
TMJqy..^{atleastp_SNoS_ordsucc_omega_Power_omega}