Proofgold Term Root Disambiguation

as obj
-

as prop
128d6..^{MetaCat_struct_p_nonempty_terminal}

theory
HotG

stx
5b898..

address
TMd22..^{MetaCat_struct_p_nonempty_terminal}