translation of reduction rules

Action to Avoid Collision Anredera scandens axial mean bitter pea chuy decision space dedolomitization drastick financial supervision foiled gallinas point homozygote typing cell leak-free joint negative modulation factor Santa Luzia Barragem de shellsuits table model throwing signs unroller Uwāgaon