la:discussion:en:predicate_logic