defined the converse relationship, resolved the bug where atoms where considered nominals and added an example file of a duple kripke model