II. DIE PLURALISCHEN REDAKTIONSSCHICHTEN PL1 UND PL2
FirstāOrder Logic (FOL) or Predicate Logic (PL1, PC1)