Generate poset for each def