Proofgold Term Root Disambiguation

∀ x0 . PtdPred x0 ⟶ struct_p x0

as obj
-

as prop
7633a..

theory
HotG

stx
db45d..

address
TMXCY..