@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 geo: <http://opencyc.sourceforge.net/daml/cyc.daml#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.


{ ?X a Person.
  ?X outstandingObligation ?ChildSupport.
  ?ChildSupport a ChildSupportOutstandingObligation.
  ?ChildSupport value ?Amt.
  ?Amt math:greaterThan 1000.
  ?ChildSupport obligee ?Y.
  ?Y a Child.
  ?X residence [ geo:inRegion [ usps:stateAbbr ?XState ]].
  ?Y residence [ geo:inRegion [ usps:stateAbbr ?YState ]].
  ?XState string:notEqualIgnoringCase ?YState. 
} => { ?X a :DeadbeatDad }.

Joe a Person.
Sue a Child.
:05-CIV-NY-223 a OutstandingObligation.
Joe outstandingObligation :05-CIV-NY-223.
:05-CIV-NY-223 a ChildSupportOutstandingObligation.
:05-CIV-NY-223 obligee Sue.
:05-CIV-NY-223 value 1500.
# Dan's suggestion 
Joe residence [ geo:inRegion [ usps:stateAbbr "NY"]].
Sue residence [ geo:inRegion [ usps:stateAbbr "MA"]].