This document discusses how blockchains, semantics, and Ricardian contracts can help address issues of trust and validity in digital transactions. It provides examples of how ontologies could be used to formally represent items like organic tomatoes. Ricardian contracts aim to make digital contracts both human and machine readable by embedding ontologies. Prediction markets and agricultural insurance are proposed scenarios where these techniques could automate processes like claims payouts using smart contracts while ensuring definitions and meanings are formally established. Open questions around symbol grounding and testing food attributes are also raised.