anchor.diff:  soft_rule : (DECIMAL | integer ) CONDITION hard_rule;
   
   //
  -meta_rule : META_OP (MINUS)? CONSTANT SLASH natural_number FULLSTOP;
  +meta_rule : META_OP (MINUS)? IDENTIFIER SLASH natural_number FULLSTOP;
   
   //ASP4QA程序
   lpmln_rule : (hard_rule | soft_rule | meta_rule)*;
positive.code: 
  //0
  ZERO : '0';
  //常量
  CONSTANT : [_]*[a-z][a-zA-Z0-9_']* | BOOL_CONSTANTS;
  //变量
  VAR : [_]*[A-Z][a-zA-Z0-9_']*;
  
  
negative.code: //二元位运算
  bitwise_op : BITWISE_AND | BITWISE_OR | BITWISE_EXCLUSIVE_OR;
  //二元运算符
  binary_op : arithmetic_op | bitwise_op | EXPONENITIATION | RANGE;
  //一元运算符
  unary_op : BITWISE_COMPLEMENT;
  //数字
  