[language]
      [sortsym]
        (TypeName Example Isin Subtype)
            ... )
      [relsym]
        (TypeName Example Isin Subtype)
            ... )
      [funsym]
        ( (typeOf(typename obj))
      [indsym]
        ( ([object] Object () obj ... )
          ([integer] Integer (|1| |2| |3| ... ) i j n int ... )
          ([string] String str ... )
          ([symbol] Symbol sym ... )
          (1 2 3 ... ) 
           ... )
    [simulation-strucrure] 
      [computation-system]
        [reltation-system]
1111  [sort]
ation]( #'object #'integer #'symbol #'string ... )
        ()
        (#'typename #'example #'isin #'subtype)
    [facts]
      [fact]