iv(@(@(about,^(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)))),^(\(D,@('talk*',*(D))))),s,[],[],1,5)
iv(@(@(about,^(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)))),^(\(D,@('talk*',*(D))))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,5)
iv(@(@(about,^(\(A,@(*(A),B)))),^(\(C,@('talk*',*(C))))),s,[],[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)),B,n)],1,5)
iv(@(@(about,^(\(A,@(*(A),B)))),^(\(C,@('talk*',*(C))))),s,[sub(\(D,@(*(D),^(j))),E,m)],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),B,n)],1,5)
iv(\(A,@('talk*',*(A))),s,[],[],1,2)
iv(\(A,@('talk*',*(A))),s,[sub(\(B,@(*(B),^(j))),C,m)],[],1,2)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(@(about,^(\(F,@(*(F),E)))),^(\(G,@('talk*',*(G))))),A))))),s,[],[],1,5)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(@(about,^(\(F,@(*(F),E)))),^(\(G,@('talk*',*(G))))),A))))),s,[sub(\(H,@(*(H),^(j))),I,m)],[],1,5)