addHandler( "function",
new FunctionHandler() );
// Conditional Elements
addHandler( "lhs",
new AndHandler() );
addHandler( "and-restriction-connective",
new RestrictionConnectiveHandler() );
addHandler( "or-restriction-connective",
new RestrictionConnectiveHandler() );
addHandler( "and-conditional-element",
new AndHandler() );
addHandler( "or-conditional-element",
new OrHandler() );
addHandler( "and-constraint-connective",
new AndHandler() );
addHandler( "or-constraint-connective",
new OrHandler() );
addHandler( "not",
new NotHandler() );