more abtract requirement for Clause index (feature vector...)