sa:predicate_logic