clausal form