&雪扇 A human contract 102 UNIVE 6 deliver OBLIGATIONS(义务) BENEFITS(权益/权利) Client (Satisfy precondition: (From postcondition: Bring package before Get package delivered 4 p.m.;pay fee. by 10 a.m.next day. (Satisfy postcondition: (From precondition: Supplier Deliver package by Not required to do 10 a.m.next day. anything if package delivered after 4 p.m., or fee not paid. Institute of Computer Software 2022-2-27 Nanjing UniversityA human contract 2022-2-27 Institute of Computer Software Nanjing University 6 Client Supplier (Satisfy precondition:) Bring package before 4 p.m.; pay fee. (Satisfy postcondition:) Deliver package by 10 a.m. next day. OBLIGATIONS(义务) (From postcondition:) Get package delivered by 10 a.m. next day. (From precondition:) Not required to do anything if package delivered after 4 p.m., or fee not paid. BENEFITS(权益/权利) deliver