Proofgold Term Root Disambiguation

∀ x0 : ο . x0

as obj
c2ff2..

as prop
-

theory
HF

stx
2dedf..

address
TMVcB..^False