Abstract Symbol Trees