Proofgold Term Root Disambiguation

as obj
-

as prop
40a5e..^{MetaCat_struct_c_terminal}

theory
HotG

stx
5b898..

address
TMKF5..^{MetaCat_struct_c_terminal}