Robust/src/Benchmarks/mlp/tagger/original-java/examples/fse.tag.txt

   1 @title:A Micromodularity Mechanism
   2 @author:Daniel Jackson Ilya Shlyakhter and Manu Sridharan<\n> Laboratory for Computer Science<\n> Massachusetts Institute of Technology<\n> Cambridge Massachusetts USA<\n> dnjmit.edu
   3 @title:A Micromodularity Mechanism for <f""><\#161><f$> <f""><\#177><f$>  floor left big <f""><\#165><f$> .  Daniel Jackson
   4 @section:B      Introduction
   5 @noindent:hello there.
   6 @subsection:B.1 First sub
   7 @subsection:B.2 First sub
   8 @noindent:
   9 @subsection:B.3 First sub
  10 @section:C      Introduction
  11 @noindent:hello there.
  12 @subsection:C.1 First sub
  13 @subsection:C.2 First sub
  14 @subsubsection:C.2.a    First subsub
  15 @subsubsection:C.2.b    First subsub
  16 @subsubsection:C.2.c    First subsub
  17 @subsubsection:C.2.d    First subsub
  18 @subsubsection:C.2.e    First subsub
  19 @subsubsection:C.2.f    First subsub
  20 @subsubsection:C.2.g    First subsub
  21 @noindent:
  22 @subsection:C.3 First sub
  23 @author:Daniel Jackson123 Ilya Shlyakhter and Manu Sridharan<\n>
  24 @section:D
  25 @noindent:Laboratory for Computer Science<\n> dnjmit.edu
  26 @opening:Abstract
  27 @noindent:Hello <\#133> and here  A simple mechanism. The paper demonstrates the flexibility of the mechanism by application in a variety of common idioms.
  28 @body:<\#147>I really love this <\#145>quote<\#146> kind of thing <\#150> said Ian<\#48>s mother who always primed x<\#48> in <\#146>69.<\#148> Categories and Subject Descriptors
  29 @noindent:D.2.1 RequirementsSpecifications<\#151>Languages Assertions Invariants Specification techniques. This is an ellipsis<\#133>And there you go