Proofgold Term Root Disambiguation

∀ x0 x1 . struct_u x0 ⟶ struct_u x1 ⟶ struct_u (5a1fb.. x0 x1)

as obj
-

as prop
0ef6e..

theory
HotG

stx
b832f..

address
TMYf4..