متى يمثل الارتباط رسماً وماذا يبقى بعد التلخيص؟
عنصر · علاقة · حدّ
اختر E منتهية بمعرّفات وRₖ جزءاً من E × E وصفات A كتاريخ ومصدر وحالة. ينتج رسم موجه موسوم: بنية بيانات رياضية لا تثبت وجود العلاقات في الواقع.
أثر · الزمن · تغذية راجعة
مبرهنة محدودة: رسم منتهٍ وتقسيم P لعقده يحددان رسماً خارجياً. نفترض كتل غير فارغة ومتباينة تغطي E. البرهان: لكل e كتلة واحدة فتكون q(e) فريدة. ضع رابطاً بين U وV إذا وُجد رابط أصلي بين عنصر فيهما. هذه مجموعة جزئية محددة من P × P، أي علاقة ورسم. المُثبت هو إمكان التمثيل البنيوي فقط.
G = (E, R)
R′ = {(q(a), q(b)) : (a,b) ∈ R}
G′ = (P, R′)تحفظ وجود الروابط بين الكتل لا عددها أو وزنها أو نوعها أو الزمن أو السببية تلقائياً. يلزم قواعد منفصلة مفحوصة.
حدود الادعاء
نظام ADL ليس ترتيباً جزئياً تلقائياً، والرجوع ليس تناقضاً منطقياً، والتكرار لا يثبت ثبات قوانين الطبيعة عبر المقاييس. البناء من أفكار الرسم والعلاقات المعروفة؛ فائدته تحديد ما أُثبت.
اختبار
اختبر حالتين مختلفتين داخلياً مع q(x) = q(y). إذا q(F(x)) ≠ q(F(y)) فلا قاعدة مستقلة فريدة لهذا الملخص. لا يجوز إخفاء المثال المضاد بتغيير الاسم.
مصدر
تسند المصادر الأسس؛ الربط مع ADL هو التفسير المعلن هنا.