Proofgold Term Root Disambiguation

equip omega rational

as obj
-

as prop
680b2..^form100_3

theory
HotG

stx
8dd0d..

address
TMPHC..^form100_3