Proofgold Term Root Disambiguation

u18 = u19 ⟶ ∀ x0 : ο . x0

as obj
-

as prop
edc13..

theory
HotG

stx
26bcf..

address
TMYfE..