قلعه حیوانات
با اینکه اورول این کتاب را اختصاصاً بر مبنای انقلاب روسیه نگاشته، مزرعه حیوانات به تمام انقلاب‌های سراسر تاریخ اشاره دارد.
طرح‌واره آردی‌اف
کدهای مثال زیر اعلام می‌کنند که «Dog1 یک حیوان است»، «Cat1 یک گربه است»، «باغ‌وحش محل حیوانات است»، و «در zoo1 گربه Cat2 موجود است»: