Proofgold Term Root Disambiguation

as obj
-

as prop
14bd1..^{MetaCat_struct_p_terminal}

theory
HotG

stx
5b898..

address
TMV7Y..^{MetaCat_struct_p_terminal}