Proofgold Term Root Disambiguation

cfa90.. ⟶ 2f0a8..

as obj
-

as prop
03bab..^{AC_3_imp_AC_2}

theory
HF

stx
a8b20..

address
TMHYh..^{AC_3_imp_AC_2}