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