Statement: kansas city had no post - season record in 2013

Input Table: lexington legends

Step 1: Select rows where 'mlb_affiliate' is 'kansas city'.
season manager record win post___season_record post___season_win mlb_affiliate
2001 joe cannon 92 - 48 657 4 - 0 1.000 houston
2002 joe cannon 81 - 59 579 - - houston
2003 ♦ russ nixon 75 - 63 543 0 - 2 000 houston
2004 iván dejesús 68 - 72 486 - - houston
2005 tim bogar 81 - 58 583 - - houston
2006 ♦ jack lind 75 - 63 543 0 - 2 000 houston
2007 gregg langbehn 59 - 81 421 - - houston
2008 gregg langbehn 45 - 93 326 - - houston
2009 tom lawless 68 - 72 486 - - houston
2010 rodney linares 71 - 68 511 - - houston
2011 rodney linares 59 - 79 428 - - houston
2012 iván dejesús 69 - 69 500 - - houston
2013 brian buchanan 44 - 42 512 - - kansas city

Step 2: Select rows where 'season' is 2013.
season manager record win post___season_record post___season_win mlb_affiliate
2013 brian buchanan 44 - 42 512 - - kansas city

Step 3: Select rows where 'post___season_record' is not '-'.
season manager record win post___season_record post___season_win mlb_affiliate
2013 brian buchanan 44 - 42 512 - - kansas city

Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 0, otherwise return FALSE.
season manager record win post___season_record post___season_win mlb_affiliate

Final output table:
verification_result
TRUE

Prediction: TRUE