sa:logic_language