Proofgold Term Root Disambiguation

as obj
-

as prop
75fea..^{MetaCat_struct_u_terminal}

theory
HotG

stx
b832f..

address
TMFtH..^{MetaCat_struct_u_terminal}