Clue: Secondary proposition from man docked on lunar module (5)
Answer: LEMMA
Explanation: Definition: Secondary proposition
A charade of LEM ('lunar' excursion 'module') plus 'ma[n]' minus its last letter ('docked').