Proofgold Term Root Disambiguation

λ x0 . ∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (x0 = ad280.. x1 x3))

as obj
c7ce4..

as prop
-

theory
HotG

stx
2a9bf..

address
TMLfw..