@keywords a.

# run with
# cwm http://people.csail.mit.edu/lkagal/tami/tami-scenario3-data.n3 http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3"

@keywords is, of, a .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1#> . 
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix string: <http://www.w3.org/2000/10/swap/string#>.

@prefix u: <http://niem.gov/niem/universal/0.1#>.
@prefix s: <http://niem.gov/niem/structures/0.1#>.
@prefix c: <http://niem.gov/niem/common/0.1#>.
@prefix j: <http://www.niem.gov/niem/domains/justice/0.1#>.
@prefix emer: <http://www.niem.gov/niem/domains/emergency-management/0.1#>.
@prefix int: <http://www.niem.gov/niem/domains/intelligence/0.1#>.
@prefix air: <http://www.megginson.com/exp/ns/airports#>.

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

@prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> .
@prefix td: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> .
@prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> .


{ ?A a j:Arrest; ts:antecedent ?B.
  ?B a LegalAntecedent.
} => { ?A a JustifiedArrest }.


#{ T a ts:Transfer.
#  S a ts:Sorn.
#  S dc:creator ?SOwner.
#  T ts:sender ?TOwner.
 #?s1 ts:routineUse ?r1.
 #T ts:purpose ?p1.
 #?r1 ts:purpose ?p2.
 #?p1 tr:specializationOfStar ?p2.
# T ts:recipient ?o1.
 #?r1 ts:recipient ?o2.
 #?o1 tr:partOfStar ?o2
#} => { T ts:status ts:LegalTransfer; sornOwner ?SOwner; sender ?TOwner; recepient ?o1}.


#ends