Formalized Experience Documents