Added clause processor, errors with the underline format of clause