predicate-logical.ll 1.14 KB