$package
  
  $imports
  
  public class AxiomaticDefinitions {
  
  	$body
  }