porkifa'u fu'ivla

x1 is a sequence of sequences, whose elements are related respectively by x2 (property, arity is length of x1)

Also: zip-then-apply. See porsi, cmima, porkini, menkini, .emnafa'u