% all possible faulty components
ab(c).
ab(psh).
ab(w).
ab(f).
ab(s).