Connect the lines of function judgements with their corresponding premises