Proofgold Term Root Disambiguation

403c9.. f4d2c..

as obj
-

as prop
e8e54..

theory
HotG

stx
7e9c3..

address
TMb1W..