Proofgold Term Root Disambiguation

setminus (Power 0f96c..) (ordsucc 0f96c..)

as obj
d94c9..

as prop
-

theory
HF

stx
5b15d..

address
TMEuR..