zh:predicate_logic