Lines Matching defs:PartialSpec