Some of these extracted association correspond to the constraints previously described — (A1) matches Constraints (a) and (b); (A4) and (A5) match Constraint (c). All of extracted associations also seem to be valid. For example, account type may pose a limitation of withdrawal amount (A2).