Provides semantic descriptors, such as for predicates and their arguments