SIMPLIFIED SNaLPS ATN SYNTAX AND SEMANTICS Syntax Semantics ------ --------- Actions: (setr
) := (addr ) := ^ Forms: * evaluates to root of current word or to current constituent (getr ) returns value of (getf []) IF is present THEN returns value of for ELSE returns value of for * (overlap ) IF and have non-empty intersection THEN t ELSE nil (nullr ) IF evaluates to nil THEN t ELSE nil Preaction: (sendr ) at current level @level-to-be-called := Arcs: (cat * ) IF current word is THEN BEGIN * := current word; IF THEN BEGIN do * do END END (jump *) * := current word; IF THEN BEGIN do *; goto next state END (pop *) IF THEN BEGIN do *; pop value of to calling level END (push * * (to )) IF input buffer is empty THEN fail ELSE BEGIN * := current word; IF THEN BEGIN do s; (all sendr's; to initialize lower level (level being pushed to)) push to and recursively continue parsing there; (note: can fail at ) pop from ; * := constitutent popped; input buffer := *; do s; goto END ELSE fail END (wrd * ) IF in lexicon THEN BEGIN * := current word; IF THEN BEGIN do *; do