Definability of types over finite partial order indiscernibles - Vincent Guingona (2011)