Table: 1985 portuguese grand prix
[['driver', 'constructor', 'laps', 'time / retired', 'grid'], ['ayrton senna', 'lotus - renault', '67', '2:00:28.006', '1'], ['michele alboreto', 'ferrari', '67', '+ 1:02.978', '5'], ['patrick tambay', 'renault', '66', '+ 1 lap', '12'], ['elio de angelis', 'lotus - renault', '66', '+ 1 lap', '4'], ['nigel mansell', 'williams - honda', '65', '+ 2 laps', '9'], ['stefan bellof', 'tyrrell - ford', '65', '+ 2 laps', '21'], ['derek warwick', 'renault', '65', '+ 2 laps', '6'], ['stefan johansson', 'ferrari', '62', '+ 5 laps', '11'], ['piercarlo ghinzani', 'osella - alfa romeo', '61', '+ 6 laps', '26'], ['manfred winkelhock', 'ram - hart', '50', 'not classified', '15'], ['niki lauda', 'mclaren - tag', '49', 'engine', '7'], ['eddie cheever', 'alfa romeo', '36', 'engine', '14'], ['alain prost', 'mclaren - tag', '30', 'spun off', '2'], ['andrea de cesaris', 'ligier - renault', '29', 'tyre', '8'], ['nelson piquet', 'brabham - bmw', '28', 'tyre', '16'], ['thierry boutsen', 'arrows - bmw', '28', 'electrical', '10'], ['martin brundle', 'tyrrell - ford', '20', 'transmission', '22'], ['mauro baldi', 'spirit - hart', '19', 'spun off', '24'], ['keke rosberg', 'williams - honda', '16', 'spun off', '3'], ['jacques laffite', 'ligier - renault', '15', 'tyre', '18'], ['gerhard berger', 'arrows - bmw', '12', 'spun off', '17'], ['pierluigi martini', 'minardi - ford', '12', 'spun off', '25'], ['riccardo patrese', 'alfa romeo', '4', 'spun off', '13'], ['philippe alliot', 'ram - hart', '3', 'spun off', '20'], ['franã§ois hesnault', 'brabham - bmw', '3', 'electrical', '19'], ['jonathan palmer', 'zakspeed', '2', 'suspension', '23']]
Statement: all Driver listed have unique first name , there are no duplicate
Statement: the number of Lap completed ranged from 2 up to 67
Statement: the number of Grid listed in the table ranges from 1 up to 26
Statement: the most frequently listed reason for race retirement is Spun off'
Statement: Minardi - Ford , Spirit - Hart , Zakspeed and Osella - Alfa Romeo are the only Constructor not listed 2 time in the table