predicate symbols and functions 3297891

Loading…