lone star alliance
the university of texas at austin has a larger enrollment than texas christian university .
{'row_1': '12', 'row_2': '9', 'col': '5', 'col_other': '1', 'relation': 'greater', 'record_mentioned': 'no', 'diff_result': None}
{'func': 'greater', 'args': [{'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'institution', 'university of texas at austin'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose institution record fuzzily matches to university of texas at austin .', 'tostr': 'filter_eq { all_rows ; institution ; university of texas at austin }'}, 'enrollment'], 'result': None, 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; institution ; university of texas at austin } ; enrollment }', 'tointer': 'select the rows whose institution record fuzzily matches to university of texas at austin . take the enrollment record of this row .'}, {'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'institution', 'texas christian university'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose institution record fuzzily matches to texas christian university .', 'tostr': 'filter_eq { all_rows ; institution ; texas christian university }'}, 'enrollment'], 'result': None, 'ind': 3, 'tostr': 'hop { filter_eq { all_rows ; institution ; texas christian university } ; enrollment }', 'tointer': 'select the rows whose institution record fuzzily matches to texas christian university . take the enrollment record of this row .'}], 'result': True, 'ind': 4, 'tostr': 'greater { hop { filter_eq { all_rows ; institution ; university of texas at austin } ; enrollment } ; hop { filter_eq { all_rows ; institution ; texas christian university } ; enrollment } } = true', 'tointer': 'select the rows whose institution record fuzzily matches to university of texas at austin . take the enrollment record of this row . select the rows whose institution record fuzzily matches to texas christian university . take the enrollment record of this row . the first record is greater than the second record .'}
greater { hop { filter_eq { all_rows ; institution ; university of texas at austin } ; enrollment } ; hop { filter_eq { all_rows ; institution ; texas christian university } ; enrollment } } = true
select the rows whose institution record fuzzily matches to university of texas at austin . take the enrollment record of this row . select the rows whose institution record fuzzily matches to texas christian university . take the enrollment record of this row . the first record is greater than the second record .
{'greater_4': 'greater', 'result_5': 'true', 'num_hop_2': 'num_hop', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_6': 'all_rows', 'institution_7': 'institution', 'university of texas at austin_8': 'university of texas at austin', 'enrollment_9': 'enrollment', 'num_hop_3': 'num_hop', 'filter_str_eq_1': 'filter_str_eq', 'all_rows_10': 'all_rows', 'institution_11': 'institution', 'texas christian university_12': 'texas christian university', 'enrollment_13': 'enrollment'}
['institution', 'location', 'founded', 'affiliation', 'enrollment', 'team nickname', 'primary conference']
[['baylor university', 'waco , texas', '1845', 'private , baptist', '14769', 'bears', 'big 12 ( division i )'], ['university of louisiana at lafayette', 'lafayette , louisiana', '1898', 'public', '16361', "ragin ' cajuns", 'sunbelt ( division i )'], ['louisiana state university', 'baton rouge , louisiana', '1860', 'public', '25215', 'tigers', 'sec ( division i )'], ['university of north texas', 'denton , texas', '1890', 'public', '36206', 'mean green', 'c - usa ( division i )'], ['university of oklahoma', 'norman , oklahoma', '1890', 'public', '29931', 'sooners', 'big 12 ( division i )'], ['rice university', 'houston , texas', '1891', 'private / non - sectarian', '6799', 'owls', 'c - usa ( division i )'], ['southern methodist university', 'university park , texas', '1911', 'private / methodist', '10693', 'mustangs', 'american ( division i )'], ['texas a & m university', 'college station , texas', '1871', 'public', '48702', 'aggies', 'sec ( division i )'], ['texas christian university', 'fort worth , texas', '1873', 'private / disciples of christ', '8696', 'horned frogs', 'big 12 ( division i )'], ['texas state universitysan marcos', 'san marcos , texas', '1899', 'public', '32586', 'bobcats', 'sunbelt ( division i )'], ['texas tech university', 'lubbock , texas', '1923', 'public', '30049', 'red raiders', 'big 12 ( division i )'], ['university of texas at austin', 'austin , texas', '1883', 'public', '50995', 'longhorns', 'big 12 ( division i )']]