formalized theory - Spanisch Englisch Wörterbuch