In this case, change
exists $List{"c"}{"1"}
to
exists $List{"c"} and exists $List{"c"}{"1"}