[[!redirects predicate]] < [[nlab:predicate]] category: redirected to nlab