postcondition - Spanish English Dictionary