And the messages, in turn, refer back to DAML-S input/output properties