إيزابيل كوربوس الموازي

المجموعة الموازية هي مجموعة من النصوص بلغة واحدة مقترنة بنصوص مقابلة بلغة أخرى.

مجموعة إيزابيل الموازية (IPC) هي مبادرة يقودها المجتمع لإنشاء مجموعة موازية من وثائق إيزابيل. يقوم IPC بمزاوجة المستندات الرسمية في لغة إيزابيل (مثل النظريات والمعضلات والتعريفات وما إلى ذلك) مع نظيراتها في اللغة الطبيعية.

تحتوي الإدخالات في IPC على مستويات متعددة من تعليقات البيانات. في المستوى الأول، يتم تسجيل البيانات باللغة الطبيعية للوثائق (على سبيل المثال، البيانات النظرية) والمصادر باللغة الطبيعية (على سبيل المثال، الكتب المدرسية). يقوم المستوى الثاني من الشرح بربط الجمل في دليل اللغة الطبيعية مع العبارات في نص دليل إيزابيل المقابل. يسمح المستوى الثالث من الشرح بمحاذاة الكلمات في اللغة الطبيعية مع الرموز الموجودة في نص إثبات إيزابيل.