Clausel

clause clause language clause patterns clause database clause terminal clause relation clause for goal clause predicate clause paramount Clausen's method clause of result