- Fig 15
    lookup "figure15" =  Just $ LexEntry (va "f")  f
      where f = P( N ( P (AtomP "a"):/:P (AtomP "b")):<×>: (P (AtomP "b")))

    -- Fig 18
 
lookup "figure15" =  Just $ LexEntry (va "f")  f
      where f = P( N ( P (AtomP "a"):/:P (AtomP "b")):<×>: (P (AtomP "b")))

    -- Fig 18
lookup "figure15" =  Just $ LexEntry (va "f")  f
      where f = P( N ( P (AtomP "a"):/:P (AtomP "b")):<×>: (P (AtomP "b")))

    -- Fig 18