Lines Matching defs:PartialOrdering