Context                Previous, Next                Top


88_a_lob_j01
All reagents are analytical reagent quality where available.

%3 r_0088_0001__All_quant All [quant] r_0088_0002__reagents reagents r_0088_0001__All_quant->r_0088_0002__reagents [restriction] r_0088_0007__where where r_0088_0001__All_quant->r_0088_0007__where [scope] r_0088_0003__are are r_0088_0007__where->r_0088_0003__are [scope] z_000_88_a_lob_j01_21 r_0088_0007__where->z_000_88_a_lob_j01_21 [restriction] r_0088_0003__are->r_0088_0002__reagents [arg0] r_0088_0006__quality quality r_0088_0003__are->r_0088_0006__quality [prd] r_0088_0004__analytical analytical r_0088_0006__quality->r_0088_0004__analytical [attrib] r_0088_0005__reagent reagent r_0088_0006__quality->r_0088_0005__reagent [attrib] r_0088_0008__available available z_000_88_a_lob_j01_21->r_0088_0008__available [prd] 
arc(r_0088_0001__All_quant, r_0088_0002__reagents, restriction).
arc(r_0088_0001__All_quant, r_0088_0007__where, scope).
arc(r_0088_0003__are, r_0088_0002__reagents, arg0).
arc(r_0088_0003__are, r_0088_0006__quality, prd).
arc(r_0088_0006__quality, r_0088_0004__analytical, attrib10).
arc(r_0088_0006__quality, r_0088_0005__reagent, attrib13).
arc(r_0088_0007__where, r_0088_0003__are, scope).
arc(r_0088_0007__where, z_000_88_a_lob_j01_21, restriction).
arc(z_000_88_a_lob_j01_21, r_0088_0008__available, prd).


%3 r_0088_0001__All_quant All [quant] r_0088_0002__reagents reagents r_0088_0001__All_quant->r_0088_0002__reagents [restriction] r_0088_0007__where where r_0088_0001__All_quant->r_0088_0007__where [scope] r_0088_0003__are are r_0088_0007__where->r_0088_0003__are [conj2] z_000_88_a_lob_j01_21 r_0088_0007__where->z_000_88_a_lob_j01_21 [conj1] r_0088_0003__are->r_0088_0002__reagents [arg0] r_0088_0006__quality quality r_0088_0003__are->r_0088_0006__quality [prd] r_0088_0004__analytical analytical r_0088_0006__quality->r_0088_0004__analytical [attrib] r_0088_0005__reagent reagent r_0088_0006__quality->r_0088_0005__reagent [attrib] r_0088_0008__available available z_000_88_a_lob_j01_21->r_0088_0008__available [prd] 
fof(formula,axiom,
    ! [R_88_2_REAGENTS] :
      ( reagents(R_88_2_REAGENTS)
     => ? [R_88_7_WHERE,Z_88_A_LOB_J01_21,R_88_8_AVAILABLE,R_88_3_ARE,R_88_6_QUALITY,R_88_4_ANALYTICAL,R_88_5_REAGENT] :
          ( available(R_88_8_AVAILABLE)
          & analytical(R_88_4_ANALYTICAL)
          & reagent(R_88_5_REAGENT)
          & where(R_88_7_WHERE)
          & conj1(R_88_7_WHERE,Z_88_A_LOB_J01_21)
          & z_88_a_lob_j01_21(Z_88_A_LOB_J01_21)
          & prd(Z_88_A_LOB_J01_21,R_88_8_AVAILABLE)
          & conj2(R_88_7_WHERE,R_88_3_ARE)
          & are(R_88_3_ARE,R_88_2_REAGENTS,R_88_6_QUALITY)
          & quality(R_88_6_QUALITY)
          & attrib10(R_88_6_QUALITY,R_88_4_ANALYTICAL)
          & attrib13(R_88_6_QUALITY,R_88_5_REAGENT) ) ) ).


n88_a_lob_j01 n88_a_lob_j01_4 All n88_a_lob_j01_6 reagents n88_a_lob_j01_8 are n88_a_lob_j01_12 analytical n88_a_lob_j01_15 reagent n88_a_lob_j01_17 quality n88_a_lob_j01_20 where n88_a_lob_j01_24 available n88_a_lob_j01_26 . n88_a_lob_j01_1 IP-MAT n88_a_lob_j01_2 NP-SBJ n88_a_lob_j01_1->n88_a_lob_j01_2 n88_a_lob_j01_7 BEP;_Ln_ n88_a_lob_j01_1->n88_a_lob_j01_7 n88_a_lob_j01_9 NP-PRD n88_a_lob_j01_1->n88_a_lob_j01_9 n88_a_lob_j01_18 PP-SCON n88_a_lob_j01_1->n88_a_lob_j01_18 n88_a_lob_j01_25 PUNC n88_a_lob_j01_1->n88_a_lob_j01_25 n88_a_lob_j01_3 Q n88_a_lob_j01_2->n88_a_lob_j01_3 n88_a_lob_j01_5 NS n88_a_lob_j01_2->n88_a_lob_j01_5 n88_a_lob_j01_3->n88_a_lob_j01_4 n88_a_lob_j01_5->n88_a_lob_j01_6 n88_a_lob_j01_7->n88_a_lob_j01_8 n88_a_lob_j01_10 ADJP n88_a_lob_j01_9->n88_a_lob_j01_10 n88_a_lob_j01_13 ADJP n88_a_lob_j01_9->n88_a_lob_j01_13 n88_a_lob_j01_16 N n88_a_lob_j01_9->n88_a_lob_j01_16 n88_a_lob_j01_11 ADJ n88_a_lob_j01_10->n88_a_lob_j01_11 n88_a_lob_j01_11->n88_a_lob_j01_12 n88_a_lob_j01_14 ADJ n88_a_lob_j01_13->n88_a_lob_j01_14 n88_a_lob_j01_14->n88_a_lob_j01_15 n88_a_lob_j01_16->n88_a_lob_j01_17 n88_a_lob_j01_19 P-CONN n88_a_lob_j01_18->n88_a_lob_j01_19 n88_a_lob_j01_21 IP-ADV n88_a_lob_j01_18->n88_a_lob_j01_21 n88_a_lob_j01_19->n88_a_lob_j01_20 n88_a_lob_j01_22 ADJP-PRD n88_a_lob_j01_21->n88_a_lob_j01_22 n88_a_lob_j01_23 ADJ n88_a_lob_j01_22->n88_a_lob_j01_23 n88_a_lob_j01_23->n88_a_lob_j01_24 n88_a_lob_j01_25->n88_a_lob_j01_26 
( (IP-MAT (NP-SBJ (Q All;{all})
                  (NS reagents;{reagent}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADJP (ADJ analytical;{analytical}))
                  (ADJP (ADJ reagent;{reagent}))
                  (N quality;{quality}))
          (PP-SCON (P-CONN where;{where})
                   (IP-ADV (ADJP-PRD (ADJ available;{available}))))
          (PUNC .))
  (ID 88_a_lob_j01))