list: expression
A KIF list.
list::list
list::~list
list::content
list::freevariables