clausal_examples added.