[Enumerating] possible expressions
Implementation [of symbolic systems]
Long halting times [in symbolic systems]
Network analogs [of symbolic systems]
Order dependence [in symbolic systems]
Other [symbolic systems] rules
Properties [of example symbolic system]