Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Intensionalizing Abstract Meaning Representations: Non-Veridicality and
  Scope   Abstract Meaning Representation (AMR) is a graphical meaning representation
language designed to represent propositional information about argument
structure. However, at present it is unable to satisfyingly represent
non-veridical intensional contexts, often licensing inappropriate inferences.
In this paper, we show how to resolve the problem of non-veridicality without
appealing to layered graphs through a mapping from AMRs into Simply-Typed
Lambda Calculus (STLC). At least for some cases, this requires the introduction
of a new role :content which functions as an intensional operator. The
translation proposed is inspired by the formal linguistics literature on the
event semantics of attitude reports. Next, we address the interaction of
quantifier scope and intensional operators in so-called de re/de dicto
ambiguities. We adopt a scope node from the literature and provide an explicit
multidimensional semantics utilizing Cooper storage which allows us to derive
the de re and de dicto scope readings as well as intermediate scope readings
which prove difficult for accounts without a scope node.

19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys