The syntax and semantics of goals | AIChainDay