@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#> .


star a rdf:Property;
	rdfs:domain rdf:Property;
	rdfs:range rdf:Property.
{?r star ?rstar.
 ?x ?r [?rstar ?y].
} => {?x ?rstar ?y } .

ts:partOf star partOfStar .
ts:specializationOf star specializationOfStar .

# the class information seems to be necessary
{?x a ts:Organization.
 ?r star ?rstar.
} => {?x ?rstar ?x } .

{?x a ts:Activity.
 ?r star ?rstar.
} => {?x ?rstar ?x } .


@forAll A, T.

{ A a ts:Transfer } => { A a LegalAntecedent }.

{ A a ts:OpeningCase; ts:antecedent ?B.
  ?B a LegalAntecedent } => { A a LegalAntecedent }.

{ A a ts:Assignment; ts:antecedent ?B.
  ?B a LegalAntecedent } => { A a LegalAntecedent }.

{ A a ts:Search; ts:antecedent ?B.
  ?B a LegalAntecedent } => { A a LegalAntecedent }.

{ A a ts:SearchResult; ts:antecedent ?B.
  ?B a LegalAntecedent } => { A a LegalAntecedent }.

#ends