Proofgold Term Root Disambiguation

∀ x0 . 1eb0a.. x0 ⟶ and (SNo (7f2e4.. x0)) (x0 = bbc71.. (8dd2c.. x0) (c6963.. x0) (a9894.. x0) (da724.. x0) (adebb.. x0) (91922.. x0) (b8e07.. x0) (7f2e4.. x0))

as obj
-

as prop
9fc1b..

theory
HotG

stx
3797b..

address
TMXeY..