Step includes useful predicates for working with lists, and feature structures.
Lists
[Member
element]
True when element is an element of list.[Length
list]
True when list has exactly length elements.[Nth
list]
True when the element of list at position index is element. Note that programming languages traditionally number elements starting from 0. So the first element is index 0, the second is index 1, etc.
Feature structures
[HasFeature
featureStructure]
True when featureStructure contains a feature named feature.