A Ramsey theorem for partial orders with linear extensions. (February 2017)