Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ int_alt1 ⟶ SNo x0

as obj
-

as prop
0c7a0..

theory
HotG

stx
d6a2f..

address
TMUkZ..