te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),obj,n,[],[],2,4)
te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),obj,n,[sub(\(D,@(*(D),^(j))),E,m)],[],2,4)
te1(\(A,@(*(A),^(j))),sub,m,[],[],0,1)
te1(\(A,@(*(A),^(m))),sub,f,[],[],5,6)
te1(\(A,@(*(A),^(m))),sub,f,[sub(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),E,n)],[],5,6)
te1(\(A,@(*(A),^(m))),sub,f,[sub(\(B,@(*(B),^(j))),C,m),sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)),G,n)],[],5,6)
te1(\(A,@(*(A),^(m))),sub,f,[sub(\(B,@(*(B),^(j))),C,m)],[],5,6)