Proofgold Term Root Disambiguation

CD_proj1 (Sing 4) HSNo

as obj
6492a..^OSNo_proj1

as prop
-

theory
HotG

stx
5c6b2..

address
TMG3w..^OSNo_proj1