Proofgold Term Root Disambiguation

2f0a8.. ⟶ fb56c..

as obj
-

as prop
5fbe6..^{AC_2_imp_AC_1}

theory
HF

stx
a8b20..

address
TMH73..^{AC_2_imp_AC_1}