added proper toString method to Definitions
changed definitions clauses to List from Set
fixed a typo