Example: Air cargo transport
{"Image DocumentName": "Example: Air cargo transport", "Image ImageDescription": "Actions. Load(c, p, a) PRE: At(c, a) ^ At(p, a) ^ Cargo(c) ^ Plane(p) ^ Airport(a) EFF: \u00acAt(c, a) ^ In(c, p) Unload(c, p, a) PRE: In(c, p) ^ At(p, a) ^ Cargo(c) ^ Plane(p) ^ Airport(a) EFF: At(c, a) ^ \u00acIn(c, p) Fly(p, from, to) PRE: At(p, from) ^ Plane(p) ^ Airport(from) ^ Airport(to) EFF: \u00acAt(p, from) ^ At(p, to)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}