  We prove that finite partial orders with a linear extension form a Ramsey
class. Our proof is based on the fact that class of acyclic graphs has the
Ramsey property and uses the partite construction.
