merged: Pei-2nd "procedural inference (SyllogisticRules)"