Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Web-Based Tool for Analysing Normative Documents in English   Our goal is to use formal methods to analyse normative documents written in
English, such as privacy policies and service-level agreements. This requires
the combination of a number of different elements, including information
extraction from natural language, formal languages for model representation,
and an interface for property specification and verification. We have worked on
a collection of components for this task: a natural language extraction tool, a
suitable formalism for representing such documents, an interface for building
models in this formalism, and methods for answering queries asked of a given
model. In this work, each of these concerns is brought together in a web-based
tool, providing a single interface for analysing normative texts in English.
Through the use of a running example, we describe each component and
demonstrate the workflow established by our tool.

14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess