Lines Matching defs:PredTerm