@keywords a, is, of, this.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .
@prefix list: <http://www.w3.org/2000/10/swap/list#> .

@prefix geo: <http://opencyc.sourceforge.net/daml/cyc.daml#> .
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#> .

@prefix : <hypothetical.n3#>.

# TAMI tool knows the following info
# in this example we are not recording the provenance of this information 
# but we will be 

#Agencies
TSA a Agency.
TSC a Agency.
NCTC a Agency.
Airline a Agency.

# Airline creates a PNR of JohnDoe's trip
Delta a Airline.
Delta creates Pnr1.
Pnr1 a PassengerNameRecord.
Pnr1 name JohnDoe.
Pnr1 origin LaGuardia.
Pnr1 destination OHare.

# TSC provides a "no fly" list
TSC nofly { JohnDoe a SuspectedTerrorist; crime blowingupsomething }.
TSC nofly { BinLaden a SuspectedTerrorist }.

# NCTC provides stripped version of known & suspected terrorism
# not sure of what fields these Records contain
NCTC data {[] a Record; name JohnDoe; fathersname JimDoe; crime SuspectedTerrorism. }.
NCTC data {[] a Record; name BinLaden; fathersname BinLanden; crime Terrorism. }.
NCTC data {[] a Record; name AliceDoe; fathersname BobDoe; crime Kidnapping. }.

Delta permittedToCollect PNR.


# TSC's SORN
TSC publish TSCSorn.
TSCSorn a Sorn.
TSCSorn about SuspectedTerrorist.
TSCSorn used [ a SystemOfRecords ]. # not sure what this means
TSCSorn retrievedBy name. # not sure what to do with this 

SuspectedTerrorist a CoveredIndividual.

# TSA's SORN
TSA publish TSASorn.
TSASorn a Sorn.
TSASorn about SuspectedTerrorist.
TSASorn used [ a SystemOfRecords ]. # not sure what this means
TSASorn retrievedBy name. # not sure what to do with this 
#end.