Proofgold Term Root Disambiguation

as obj
-

as prop
52934..^{SNo_extend1_SNoLev}

theory
HotG

stx
fab7c..

address
TMQdt..^{SNo_extend1_SNoLev}