Extensive form definition.