Proofgold Term Root Disambiguation

u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12 u13 = u14

as obj
-

as prop
0e84a..

theory
HotG

stx
0f832..

address
TMNKP..