明显类似于LISP的语法。表示法可以进一步简化，通过让对于任何U。这种简化导致了需要改变某些规则：（1）多于两个字母允许在圆括号内。（2）在圆括号内的字母或wff允许交换。（3）在同一组圆括号内的重复字母或wff可以除去。这个结果是Peirce的存在图的相应版本。