Properties; instantiation and recurrence

Anna Marmodoro, Durham University