Link to dfns from the Property Index.