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_0088_0002__REAGENTS] :
      ( r_0088_0002__reagents(R_0088_0002__REAGENTS)
     => ? [R_0088_0004__ANALYTICAL,R_0088_0005__REAGENT,R_0088_0006__QUALITY,R_0088_0003__ARE,R_0088_0008__AVAILABLE,Z_000_88_A_LOB_J01_21,R_0088_0007__WHERE] :
          ( r_0088_0004__analytical(R_0088_0004__ANALYTICAL)
          & r_0088_0005__reagent(R_0088_0005__REAGENT)
          & r_0088_0008__available(R_0088_0008__AVAILABLE)
          & r_0088_0007__where(R_0088_0007__WHERE)
          & has_conj1(R_0088_0007__WHERE,Z_000_88_A_LOB_J01_21)
          & z_000_88_a_lob_j01_21(Z_000_88_A_LOB_J01_21)
          & has_prd(Z_000_88_A_LOB_J01_21,R_0088_0008__AVAILABLE)
          & has_conj2(R_0088_0007__WHERE,R_0088_0003__ARE)
          & r_0088_0003__are(R_0088_0003__ARE)
          & has_prd(R_0088_0003__ARE,R_0088_0006__QUALITY)
          & r_0088_0006__quality(R_0088_0006__QUALITY)
          & has_attrib13(R_0088_0006__QUALITY,R_0088_0005__REAGENT)
          & has_attrib10(R_0088_0006__QUALITY,R_0088_0004__ANALYTICAL)
          & has_arg0(R_0088_0003__ARE,R_0088_0002__REAGENTS) ) ) ).


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))