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 z_000_88_a_lob_j01_21 r_0088_0008__available available z_000_88_a_lob_j01_21->r_0088_0008__available [prd] r_0088_0007__where where r_0088_0007__where->z_000_88_a_lob_j01_21 [conj1] r_0088_0003__are are r_0088_0007__where->r_0088_0003__are [conj2] r_0088_0006__quality quality r_0088_0003__are->r_0088_0006__quality [prd] r_0088_0002__reagents reagents r_0088_0003__are->r_0088_0002__reagents [arg0] r_0088_0005__reagent reagent r_0088_0006__quality->r_0088_0005__reagent [attrib] r_0088_0004__analytical analytical r_0088_0006__quality->r_0088_0004__analytical [attrib] r_0088_0001__All_quant All [quant] r_0088_0001__All_quant->r_0088_0007__where [scope] r_0088_0001__All_quant->r_0088_0002__reagents [restriction] 
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__1_1_1_1 All n88_a_lob_j01__1_1_2_1 reagents n88_a_lob_j01__1_2_1 are n88_a_lob_j01__1_3_1_1_1 analytical n88_a_lob_j01__1_3_2_1_1 reagent n88_a_lob_j01__1_3_3_1 quality n88_a_lob_j01__1_4_1_1 where n88_a_lob_j01__1_4_2_1_1_1 available n88_a_lob_j01__1_5_1 . n88_a_lob_j01__1 IP-MAT n88_a_lob_j01__1_1 NP-SBJ n88_a_lob_j01__1->n88_a_lob_j01__1_1 n88_a_lob_j01__1_2 BEP;_Ln_ n88_a_lob_j01__1->n88_a_lob_j01__1_2 n88_a_lob_j01__1_3 NP-PRD n88_a_lob_j01__1->n88_a_lob_j01__1_3 n88_a_lob_j01__1_4 PP-SCON n88_a_lob_j01__1->n88_a_lob_j01__1_4 n88_a_lob_j01__1_5 PUNC n88_a_lob_j01__1->n88_a_lob_j01__1_5 n88_a_lob_j01__1_1_1 Q n88_a_lob_j01__1_1->n88_a_lob_j01__1_1_1 n88_a_lob_j01__1_1_2 NS n88_a_lob_j01__1_1->n88_a_lob_j01__1_1_2 n88_a_lob_j01__1_1_1->n88_a_lob_j01__1_1_1_1 n88_a_lob_j01__1_1_2->n88_a_lob_j01__1_1_2_1 n88_a_lob_j01__1_2->n88_a_lob_j01__1_2_1 n88_a_lob_j01__1_3_1 ADJP n88_a_lob_j01__1_3->n88_a_lob_j01__1_3_1 n88_a_lob_j01__1_3_2 ADJP n88_a_lob_j01__1_3->n88_a_lob_j01__1_3_2 n88_a_lob_j01__1_3_3 N n88_a_lob_j01__1_3->n88_a_lob_j01__1_3_3 n88_a_lob_j01__1_3_1_1 ADJ n88_a_lob_j01__1_3_1->n88_a_lob_j01__1_3_1_1 n88_a_lob_j01__1_3_1_1->n88_a_lob_j01__1_3_1_1_1 n88_a_lob_j01__1_3_2_1 ADJ n88_a_lob_j01__1_3_2->n88_a_lob_j01__1_3_2_1 n88_a_lob_j01__1_3_2_1->n88_a_lob_j01__1_3_2_1_1 n88_a_lob_j01__1_3_3->n88_a_lob_j01__1_3_3_1 n88_a_lob_j01__1_4_1 P-CONN n88_a_lob_j01__1_4->n88_a_lob_j01__1_4_1 n88_a_lob_j01__1_4_2 IP-ADV n88_a_lob_j01__1_4->n88_a_lob_j01__1_4_2 n88_a_lob_j01__1_4_1->n88_a_lob_j01__1_4_1_1 n88_a_lob_j01__1_4_2_1 ADJP-PRD n88_a_lob_j01__1_4_2->n88_a_lob_j01__1_4_2_1 n88_a_lob_j01__1_4_2_1_1 ADJ n88_a_lob_j01__1_4_2_1->n88_a_lob_j01__1_4_2_1_1 n88_a_lob_j01__1_4_2_1_1->n88_a_lob_j01__1_4_2_1_1_1 n88_a_lob_j01__1_5->n88_a_lob_j01__1_5_1 
( (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))