pub fn get_predicate_sort(predicate: &str) -> Option<Sort>
Get the required sort for a predicate (adjective or verb).