la:discussion:zh:predicate_logic