Format list of user objectives in threat model