porA: (Fer4_7 and TPP_enzyme_C and POR and POR_N and PFOR_II and not (EKR or Fer4_16))
aminobutyrate2Butyrate: (minimum(2, [AcetylCoA_hyd_C, AcetylCoA_hydro, Fe-ADH, Fe-ADH_2, HBT, Mal_decarbox_Al]) and cds(HpaB_N and HpaB) and not (LAM_C or BKACE))

Rnf_complex: (Complex1_51K and minimum(5, [FMN_bind, FeS, Fer4, Fer4_9, NQR2_RnfD_RnfE, Rnf-Nqr, RnfC_N, SLBB]))

acetate2butyrate: (not (POR or POR_N or PFOR_II) and minimum(4, [Acyl-CoA_dh_1, Acyl-CoA_dh_2, ECH_2, ETF, ETF_alpha, HCDH_N, Thiolase_N, ketoacyl-synt]) and HCDH and minimum(1, [EC1_2-faecali, ECH1_Enoyl_CoA_DH1, ECH1_Enoyl_CoA_DH2, ECH1_Enoyl_CoA_DH3, ECH1_Enoyl_CoA_DH4, Thiolase_C]))
Lysine_degradation: (minimum(1, [AcetylCoA_hydro, CoA_trans, HBT, Lys-AminoMut_A]) and BKACE and LAM_C and Radical_SAM and B12-binding and OAM_dimer)

succinate2propionate: (minimum(4, [AcetylCoA_hyd_C, AcetylCoA_hydro, B12-binding, Biotin_lipoyl, Glyoxalase_4, HMGL-like, MM_CoA_mutase, MeaB, OAD_beta, OAD_gamma, PYC_OADA]) and minimum(1, [CT_Btheta, CT_Propionyl_CoA1, CT_Propionyl_CoA2, CT_Propionyl_CoA3, CT_Vparvula]) and not Cytidylate_kin)

PFOR_II_pathway: cds(POR and POR_N and PFOR_II and EKR and Fer4_16 and TPP_enzyme_C)

Fumarate2succinate: (Succ_DH_flav_C and FAD_binding_2 and (Fer2_3 or Fer4_7 or SucD_FumR))