ATM Transaction 约束用花括号括起 amount: Money i value is multiple of $20] CorporateAccount cOrporation Account PersonalAccount率 Person worker employee employer 0、1 Person/ .cOmpany b [Person, employer Person. boss. employer]Page 7