translate atmic propostions