Context                Previous, Next                Top


41_a_lob_j01
The use of the cell as a corrosion meter.

%3 r_0041_0001__The_r_0041_0002__use The use r_0041_0004__the_r_0041_0005__cell the cell r_0041_0001__The_r_0041_0002__use->r_0041_0004__the_r_0041_0005__cell of r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter a corrosion meter r_0041_0004__the_r_0041_0005__cell->r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter as z_000_41_a_lob_j01_1 z_000_41_a_lob_j01_1->r_0041_0001__The_r_0041_0002__use [nim] 
arc(r_0041_0001__The_r_0041_0002__use, r_0041_0004__the_r_0041_0005__cell, r_0041_0003__of).
arc(r_0041_0004__the_r_0041_0005__cell, r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter, r_0041_0006__as).
arc(z_000_41_a_lob_j01_1, r_0041_0001__The_r_0041_0002__use, nim2).


%3 r_0041_0001__The_r_0041_0002__use The use r_0041_0004__the_r_0041_0005__cell the cell r_0041_0001__The_r_0041_0002__use->r_0041_0004__the_r_0041_0005__cell of r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter a corrosion meter r_0041_0004__the_r_0041_0005__cell->r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter as z_000_41_a_lob_j01_1 z_000_41_a_lob_j01_1->r_0041_0001__The_r_0041_0002__use [nim] 
fof(formula,axiom,
    ? [Z_41_A_LOB_J01_1,R_41_1_THE_USE,R_41_4_THE_CELL,R_41_7_A_CORROSION_METER] :
      ( a_corrosion_meter(R_41_7_A_CORROSION_METER)
      & z_41_a_lob_j01_1(Z_41_A_LOB_J01_1)
      & nim2(Z_41_A_LOB_J01_1,R_41_1_THE_USE)
      & the_use(R_41_1_THE_USE)
      & of(R_41_1_THE_USE,R_41_4_THE_CELL)
      & the_cell(R_41_4_THE_CELL)
      & as(R_41_4_THE_CELL,R_41_7_A_CORROSION_METER) ) ).


n41_a_lob_j01 n41_a_lob_j01_4 The n41_a_lob_j01_6 use n41_a_lob_j01_9 of n41_a_lob_j01_12 the n41_a_lob_j01_14 cell n41_a_lob_j01_17 as n41_a_lob_j01_20 a n41_a_lob_j01_22 corrosion n41_a_lob_j01_24 meter n41_a_lob_j01_26 . n41_a_lob_j01_1 FRAG n41_a_lob_j01_2 NP n41_a_lob_j01_1->n41_a_lob_j01_2 n41_a_lob_j01_25 PUNC n41_a_lob_j01_1->n41_a_lob_j01_25 n41_a_lob_j01_3 D n41_a_lob_j01_2->n41_a_lob_j01_3 n41_a_lob_j01_5 N n41_a_lob_j01_2->n41_a_lob_j01_5 n41_a_lob_j01_7 PP n41_a_lob_j01_2->n41_a_lob_j01_7 n41_a_lob_j01_3->n41_a_lob_j01_4 n41_a_lob_j01_5->n41_a_lob_j01_6 n41_a_lob_j01_8 P-ROLE n41_a_lob_j01_7->n41_a_lob_j01_8 n41_a_lob_j01_10 NP n41_a_lob_j01_7->n41_a_lob_j01_10 n41_a_lob_j01_8->n41_a_lob_j01_9 n41_a_lob_j01_11 D n41_a_lob_j01_10->n41_a_lob_j01_11 n41_a_lob_j01_13 N n41_a_lob_j01_10->n41_a_lob_j01_13 n41_a_lob_j01_15 PP n41_a_lob_j01_10->n41_a_lob_j01_15 n41_a_lob_j01_11->n41_a_lob_j01_12 n41_a_lob_j01_13->n41_a_lob_j01_14 n41_a_lob_j01_16 P-ROLE n41_a_lob_j01_15->n41_a_lob_j01_16 n41_a_lob_j01_18 NP n41_a_lob_j01_15->n41_a_lob_j01_18 n41_a_lob_j01_16->n41_a_lob_j01_17 n41_a_lob_j01_19 D n41_a_lob_j01_18->n41_a_lob_j01_19 n41_a_lob_j01_21 N n41_a_lob_j01_18->n41_a_lob_j01_21 n41_a_lob_j01_23 N n41_a_lob_j01_18->n41_a_lob_j01_23 n41_a_lob_j01_19->n41_a_lob_j01_20 n41_a_lob_j01_21->n41_a_lob_j01_22 n41_a_lob_j01_23->n41_a_lob_j01_24 n41_a_lob_j01_25->n41_a_lob_j01_26 
( (FRAG (NP (D The;{the})
            (N use;{use})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (N cell;{cell})
                    (PP (P-ROLE as;{as})
                        (NP (D a;{a})
                            (N corrosion;{corrosion})
                            (N meter;{meter}))))))
        (PUNC .))
  (ID 41_a_lob_j01))