question: What is average for Benito Lorenzi league when total is smaller than 143?
answer: SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143
context: CREATE TABLE table_name_20 (league INTEGER, name VARCHAR, total VARCHAR)