Proofgold Term Root Disambiguation

u17 = u20 ⟶ ∀ x0 : ο . x0

as obj
-

as prop
42954..

theory
HotG

stx
26bcf..

address
TMWsv..