which is the cricket bowling pace with max speed of at most 145?
(AND cricket.cricket_bowling_pace (le cricket.cricket_bowling_pace.max_speed_kmph 145^^http://www.w3.org/2001/XMLSchema#integer))