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