                  :ns "kbio" :prefix "R_"}]
           [?/r2 {:ln (:restriction)
                  :ns "kbio" :prefix "R_"}]
+          [?/rcard {:ln (:restriction)
+                    :ns "kbio" :prefix "R_"}]
           [?/protein1_sc {:ln (:sha-1 ?/interaction ?/protein1)
                           :ns "kbio" :prefix "P_"}]
           [?/protein2_sc {:ln (:sha-1 ?/interaction ?/protein2)
                           :ns "kbio" :prefix "P_"}])
 
-  :options {:magic-prefixes [["franzOption_clauseReorderer" "franz:identity"]]}
+  :options {:magic-prefixes [["franzOption_clauseReorderer" "franz:identity"]
+                             ["franzOption_chunkProcessingAllowed" "franz:yes"]]}
   }
 
 
 
+
 `{:name "irefweb-unary-interactions"
-  :description ""
+  :description "IRefWeb distinguishes among three different categories of protein interactions:
+  those that involve a single protein interacting with itself (intra-molecular),
+  those that involve two proteins (binary), and those that involve >2 proteins (n-ary).
+  This rule generates bio-representations for all unary (intra-molecular) protein interactions
+  cataloged by IRefWeb. Unary interactions are indicated by an 'Y' in the 'edge type' column of
+  IRefWeb records. For each unary interaction, this rule creates a subclass of the
+  'interaction type' (MI Ontology concept), and that subclass is restricted using ro:has_participant
+  to the single `interacting` protein. It is important to note that this these are intra-molecular
+  interactions (one protein molecule interacting with itself), and not for example interactions
+  that form a dimer using two identical molecules of the same protein. The rule also places a
+  cardinality restriction of 1 on the interaction subclass for the ro:has_participant property."
   :head ((?/interaction rdfs/subClassOf ?/int_type_id) ;interaction
+         (?/interaction rdfs/label ?/int_type_label) ; transfer label to the subclass
 
          ;; create subclasses of the single protein involved
          (?/protein1_sc rdfs/subClassOf ?/protein1)
+         ;; TODO: UNCOMMENT below once kabob proteins have labels
+         ;;(?/protein1_sc rdfs/label ?/protein1_label) ; transfer label to the subclass
 
          (?/r1 rdf/type owl/Restriction)
          (?/r1 owl/onProperty obo/RO_0000057) ; has_participant
          (?/r1 owl/someValuesFrom ?/protein1_sc)
 
-          ;; create a cardinality restriction of 2 on the has_participant property
+         ;; create a cardinality restriction of 2 on the has_participant property
          (?/rcard rdf/type owl/Restriction)
          (?/rcard owl/onProperty obo/RO_0000057) ; has_participant
          (?/rcard owl/cardinality 1) ;; unary interactions must have 1 participant.

   (?/int_type_id_field kiao/hasTemplate iaoirefweb/IRefWebInteractionType_interactionTypeIdDataField1)
   (?/int_type_id_field obo/IAO_0000219 ?/int_type_id_ice) ;; iao/denotes
   (?/int_type_id_ice obo/IAO_0000219 ?/int_type_id) ;; iao/denotes

   ;; get the detection method
   (?/interaction_record obo/BFO_0000051 ?/interaction_detection_method_record) ;; bfo/has_part


`{:name "irefweb-binary-interactions"
  :description "IRefWeb distinguishes among three different categories of protein interactions:
  those that involve a single protein interacting with itself (intra-molecular),
  those that involve two proteins (binary), and those that involve >2 proteins (n-ary).
  This rule generates bio-representations for all binary protein interactions cataloged by
  IRefWeb. Binary interactions are indicated by an 'X' in the 'edge type' column of IRefWeb
  records. For each binary interaction, this rule creates a subclass of the 'interaction type'
  (MI Ontology concept), and that subclass is restricted using ro:has_participant to the two
  interacting proteins. The rule also places a cardinality restriction of 2 on the interaction
  subclass for the ro:has_participant property."
  :head ((?/interaction rdfs/subClassOf ?/int_type_id) ;interaction
         (?/interaction rdfs/label ?/int_type_label) ; transfer label to the subclass

         ;; create subclasses of the proteins
         (?/protein1_sc rdfs/subClassOf ?/protein1)
         ;; TODO: UNCOMMENT below once kabob proteins have labels
         ;;(?/protein1_sc rdfs/label ?/protein1_label) ; transfer label to the subclass
         (?/protein2_sc rdfs/subClassOf ?/protein2)
         ;; TODO: UNCOMMENT below once kabob proteins have labels
         ;;(?/protein2_sc rdfs/label ?/protein2_label) ; transfer label to the subclass

         (?/r1 rdf/type owl/Restriction)
         (?/r1 owl/onProperty obo/RO_0000057) ; has_participant
         (?/r1 owl/someValuesFrom ?/protein1_sc)

         (?/r2 rdf/type owl/Restriction)
         (?/r2 owl/onProperty obo/RO_0000057) ; has_participant
         (?/r2 owl/someValuesFrom ?/protein2_sc)

         ;; create a cardinality restriction of 2 on the has_participant property
         (?/rcard rdf/type owl/Restriction)
         (?/rcard owl/onProperty obo/RO_0000057) ; has_participant
         (?/rcard owl/cardinality 2) ;; binary interactions must have 2 participants.

         (?/interaction rdfs/subClassOf ?/r1)
         (?/interaction rdfs/subClassOf ?/r2)
