Proofgold Term Root Disambiguation

λ x0 . ap x0 3

as obj
b74fb..^Field_zero

as prop
-

theory
HotG

stx
339e9..

address
TMJzM..^Field_zero