Proofgold Term Root Disambiguation

λ x0 : (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → ο . and (and (and (and (and (and (and (and (x0 Church10_0 Church10_1) (and (x0 Church10_0 Church10_2) (x0 Church10_1 Church10_2))) (and (and (x0 Church10_0 Church10_3) (x0 Church10_1 Church10_3)) (x0 Church10_2 Church10_3))) (and (and (and (x0 Church10_0 Church10_4) (x0 Church10_1 Church10_4)) (x0 Church10_2 Church10_4)) (x0 Church10_3 Church10_4))) (and (and (and (and (x0 Church10_0 Church10_5) (x0 Church10_1 Church10_5)) (x0 Church10_2 Church10_5)) (x0 Church10_3 Church10_5)) (x0 Church10_4 Church10_5))) (and (and (and (and (and (x0 Church10_0 Church10_6) (x0 Church10_1 Church10_6)) (x0 Church10_2 Church10_6)) (x0 Church10_3 Church10_6)) (x0 Church10_4 Church10_6)) (x0 Church10_5 Church10_6))) (and (and (and (and (and (and (x0 Church10_0 Church10_7) (x0 Church10_1 Church10_7)) (x0 Church10_2 Church10_7)) (x0 Church10_3 Church10_7)) (x0 Church10_4 Church10_7)) (x0 Church10_5 Church10_7)) (x0 Church10_6 Church10_7))) (and (and (and (and (and (and (and (x0 Church10_0 Church10_8) (x0 Church10_1 Church10_8)) (x0 Church10_2 Church10_8)) (x0 Church10_3 Church10_8)) (x0 Church10_4 Church10_8)) (x0 Church10_5 Church10_8)) (x0 Church10_6 Church10_8)) (x0 Church10_7 Church10_8))) (and (and (and (and (and (and (and (and (x0 Church10_0 Church10_9) (x0 Church10_1 Church10_9)) (x0 Church10_2 Church10_9)) (x0 Church10_3 Church10_9)) (x0 Church10_4 Church10_9)) (x0 Church10_5 Church10_9)) (x0 Church10_6 Church10_9)) (x0 Church10_7 Church10_9)) (x0 Church10_8 Church10_9))

as obj
6096a..

as prop
-

theory
HotG

stx
3be30..

address
TMVpa..