Lines Matching defs:hol