e2c - % she announced a program to promote safety in trucks

% she announced a program to promote safety in trucks and vans

exists(
  [She1,Announced1,Program1,Promote1,Vans1,Trucks1,SafetyLevel1,SafetyLevel2],
         and(isa(She1,tFemale),
             isa(Announced1,actAnnouncment),
             bodilyDoer(She1,Announced1),
             isa(Announced1,actMakingAvailable),
             madeAvailable(Announced1,Program1),
             isa(Program1,actWorkflow),
             workflowGoals(Program1,Promote1),
             isa(Promote1,actProcessChange),
             isa(Vans1,xtCollectionDenotedByFn("vans")),
             isa(Trucks1,xtCollectionDenotedByFn("trucks")),
             isa(SafetyLevel1,xtValueDenotedByFn("truck safety")),
             isa(SafetyLevel2,xtValueDenotedByFn("van safety")),
             levelOfSafety(actOperationFn(Trucks1),SafetyLevel1),
             levelOfSafety(actOperationFn(Vans1),SafetyLevel2),
             goalChanges(Promote1,increaseCausually(SafetyLevel1)),
             goalChanges(Promote1,increaseCausually(SafetyLevel2))))).