Proofgold Term Root Disambiguation

as obj
-

as prop
4d074..^{explicit_Nats_omega}

theory
HotG

stx
788c2..

address
TMdGd..^{explicit_Nats_omega}