Gerundive Nominalization: From Type Specification to Grounded Instance