clausal

not defined yet