who was the president of pakistan in 1980?
(JOIN (R government.government_position_held.office_holder) (AND (JOIN government.government_position_held.time_macro 1980^^http://www.w3.org/2001/XMLSchema#date) (AND (JOIN government.government_position_held.basic_title m.060c4) (JOIN (R government.governmental_jurisdiction.governing_officials) m.05sb1))))