Definitive Statements
These two types of statement are crucial to EDEN, distinguishing it from a non-definitive language.
Formula Definition
Action Specification