/// Returns a pseudo-action given an action and its argument.
int getPseudoAction(kb_action action, string const & arg) const;
/// Retrieves the real action and its argument.
kb_action retrieveActionArg(int i, string & arg) const;
/// Returns a pseudo-action given an action and its argument.
int getPseudoAction(kb_action action, string const & arg) const;
/// Retrieves the real action and its argument.
kb_action retrieveActionArg(int i, string & arg) const;