How would we express this quantifier in Lawgic?

Are we able to write Lawgic on the actual test? Like a scratch piece of paper?

In question 5, is "But this is not a sustainable, long term solution" considered a major premise or sub-conclusion?