Proofgold Term Root Disambiguation

wb wfal (wn wtru)

as obj
-

as prop
8bae8..

theory
SetMM

stx
5ee1c..

address
TMdYw..