Context                Previous, Next                Top


43_a_lob_j01
Unless it is known at what oxygen potential a given material in the sodium coolant circuit will start to oxidise the cell can only be used as has been suggested above, as an oxygen concentration monitor.

%3 r_0043_0001__Unless Unless r_0043_0003__is is r_0043_0001__Unless->r_0043_0003__is [restriction] r_0043_0023__can can r_0043_0001__Unless->r_0043_0023__can [scope] r_0043_0004__known known r_0043_0003__is->r_0043_0004__known [scope] r_0043_0025__be be r_0043_0023__can->r_0043_0025__be [scope] r_0043_0017__will will r_0043_0004__known->r_0043_0017__will [arg1] z_000_43_a_lob_j01_12 r_0043_0004__known->z_000_43_a_lob_j01_12 [arg0] r_0043_0018__start start r_0043_0017__will->r_0043_0018__start [scope] r_0043_0009__a_r_0043_0011__material a material r_0043_0010__given given r_0043_0009__a_r_0043_0011__material->r_0043_0010__given [attrib] r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit the sodium coolant circuit r_0043_0009__a_r_0043_0011__material->r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit in r_0043_0019__to_r_0043_0020__oxidise to oxidise r_0043_0018__start->r_0043_0019__to_r_0043_0020__oxidise [scope] r_0043_0019__to_r_0043_0020__oxidise->r_0043_0009__a_r_0043_0011__material [arg0] r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential what oxygen potential r_0043_0019__to_r_0043_0020__oxidise->r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential at [nim] r_0043_0024__only only r_0043_0025__be->r_0043_0024__only [nim] r_0043_0027__as as r_0043_0025__be->r_0043_0027__as [scope] r_0043_0026__used used r_0043_0027__as->r_0043_0026__used [scope] r_0043_0028__has has r_0043_0027__as->r_0043_0028__has [restriction] r_0043_0021__the_r_0043_0022__cell the cell r_0043_0026__used->r_0043_0021__the_r_0043_0022__cell [arg1] r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor an oxygen concentration monitor r_0043_0026__used->r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor [prd] z_000_43_a_lob_j01_74 r_0043_0026__used->z_000_43_a_lob_j01_74 [arg0] r_0043_0029__been been r_0043_0028__has->r_0043_0029__been [scope] r_0043_0030__suggested suggested r_0043_0029__been->r_0043_0030__suggested [scope] r_0043_0031__above above r_0043_0030__suggested->r_0043_0031__above [nim] r_0043_1001____star__ * r_0043_0030__suggested->r_0043_1001____star__ [arg1] z_000_43_a_lob_j01_91 r_0043_0030__suggested->z_000_43_a_lob_j01_91 [arg0] 
arc(r_0043_0001__Unless, r_0043_0003__is, restriction).
arc(r_0043_0001__Unless, r_0043_0023__can, scope).
arc(r_0043_0003__is, r_0043_0004__known, scope).
arc(r_0043_0004__known, r_0043_0017__will, arg1).
arc(r_0043_0004__known, z_000_43_a_lob_j01_12, arg0).
arc(r_0043_0009__a_r_0043_0011__material, r_0043_0010__given, attrib31).
arc(r_0043_0009__a_r_0043_0011__material, r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit, r_0043_0012__in).
arc(r_0043_0017__will, r_0043_0018__start, scope).
arc(r_0043_0018__start, r_0043_0019__to_r_0043_0020__oxidise, scope).
arc(r_0043_0019__to_r_0043_0020__oxidise, r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential, r_0043_0005__at_nim21).
arc(r_0043_0019__to_r_0043_0020__oxidise, r_0043_0009__a_r_0043_0011__material, arg0).
arc(r_0043_0023__can, r_0043_0025__be, scope).
arc(r_0043_0025__be, r_0043_0024__only, nim68).
arc(r_0043_0025__be, r_0043_0027__as, scope).
arc(r_0043_0026__used, r_0043_0021__the_r_0043_0022__cell, arg1).
arc(r_0043_0026__used, r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor, prd).
arc(r_0043_0026__used, z_000_43_a_lob_j01_74, arg0).
arc(r_0043_0027__as, r_0043_0026__used, scope).
arc(r_0043_0027__as, r_0043_0028__has, restriction).
arc(r_0043_0028__has, r_0043_0029__been, scope).
arc(r_0043_0029__been, r_0043_0030__suggested, scope).
arc(r_0043_0030__suggested, r_0043_0031__above, nim95).
arc(r_0043_0030__suggested, r_0043_1001____star__, arg1).
arc(r_0043_0030__suggested, z_000_43_a_lob_j01_91, arg0).


%3 r_0043_0001__Unless Unless r_0043_0003__is_r_0043_0004__known is known r_0043_0001__Unless->r_0043_0003__is_r_0043_0004__known [conj1] r_0043_0023__can_r_0043_0025__be can be r_0043_0001__Unless->r_0043_0023__can_r_0043_0025__be [conj2] r_0043_0017__will_r_0043_0018__start_r_0043_0019__to_r_0043_0020__oxidise will start to oxidise r_0043_0003__is_r_0043_0004__known->r_0043_0017__will_r_0043_0018__start_r_0043_0019__to_r_0043_0020__oxidise [arg1] z_000_43_a_lob_j01_12 r_0043_0003__is_r_0043_0004__known->z_000_43_a_lob_j01_12 [arg0] r_0043_0024__only only r_0043_0023__can_r_0043_0025__be->r_0043_0024__only [nim] r_0043_0027__as as r_0043_0023__can_r_0043_0025__be->r_0043_0027__as [keep_scope] r_0043_0009__a_r_0043_0011__material a material r_0043_0017__will_r_0043_0018__start_r_0043_0019__to_r_0043_0020__oxidise->r_0043_0009__a_r_0043_0011__material [arg0] r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential what oxygen potential r_0043_0017__will_r_0043_0018__start_r_0043_0019__to_r_0043_0020__oxidise->r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential at [nim] r_0043_0010__given given r_0043_0009__a_r_0043_0011__material->r_0043_0010__given [attrib] r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit the sodium coolant circuit r_0043_0009__a_r_0043_0011__material->r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit in r_0043_0026__used used r_0043_0027__as->r_0043_0026__used [conj2] r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested has been suggested r_0043_0027__as->r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested [conj1] r_0043_0021__the_r_0043_0022__cell the cell r_0043_0026__used->r_0043_0021__the_r_0043_0022__cell [arg1] r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor an oxygen concentration monitor r_0043_0026__used->r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor [prd] z_000_43_a_lob_j01_74 r_0043_0026__used->z_000_43_a_lob_j01_74 [arg0] r_0043_0031__above above r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested->r_0043_0031__above [nim] r_0043_1001____star__ * r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested->r_0043_1001____star__ [arg1] z_000_43_a_lob_j01_91 r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested->z_000_43_a_lob_j01_91 [arg0] 
fof(formula,axiom,
    ? [R_43_1_UNLESS,R_43_3_IS_KNOWN,Z_43_A_LOB_J01_12,R_43_17_WILL_START_TO_OXIDISE,R_43_9_A_MATERIAL,R_43_10_GIVEN,R_43_13_THE_SODIUM_COOLANT_CIRCUIT,R_43_6_WHAT_OXYGEN_POTENTIAL,R_43_24_ONLY] :
      ( given(R_43_10_GIVEN)
      & the_sodium_coolant_circuit(R_43_13_THE_SODIUM_COOLANT_CIRCUIT)
      & what_oxygen_potential(R_43_6_WHAT_OXYGEN_POTENTIAL)
      & only(R_43_24_ONLY)
      & unless(R_43_1_UNLESS)
      & conj1(R_43_1_UNLESS,R_43_3_IS_KNOWN)
      & is_known(R_43_3_IS_KNOWN,Z_43_A_LOB_J01_12,R_43_17_WILL_START_TO_OXIDISE)
      & will_start_to_oxidise(R_43_17_WILL_START_TO_OXIDISE,R_43_9_A_MATERIAL)
      & a_material(R_43_9_A_MATERIAL)
      & attrib31(R_43_9_A_MATERIAL,R_43_10_GIVEN)
      & in(R_43_9_A_MATERIAL,R_43_13_THE_SODIUM_COOLANT_CIRCUIT)
      & at_nim21(R_43_17_WILL_START_TO_OXIDISE,R_43_6_WHAT_OXYGEN_POTENTIAL)
      & conj2(R_43_1_UNLESS,R_43_23_CAN_BE)
      & ? [R_43_27_AS,R_43_28_HAS_BEEN_SUGGESTED,Z_43_A_LOB_J01_91,R_43_1001__STAR_,R_43_31_ABOVE,R_43_26_USED,Z_43_A_LOB_J01_74,R_43_21_THE_CELL,R_43_34_AN_OXYGEN_CONCENTRATION_MONITOR] :
          ( _star_(R_43_1001__STAR_)
          & above(R_43_31_ABOVE)
          & the_cell(R_43_21_THE_CELL)
          & an_oxygen_concentration_monitor(R_43_34_AN_OXYGEN_CONCENTRATION_MONITOR)
          & as(R_43_27_AS)
          & conj1(R_43_27_AS,R_43_28_HAS_BEEN_SUGGESTED)
          & has_been_suggested(R_43_28_HAS_BEEN_SUGGESTED,Z_43_A_LOB_J01_91,R_43_1001__STAR_)
          & nim95(R_43_28_HAS_BEEN_SUGGESTED,R_43_31_ABOVE)
          & conj2(R_43_27_AS,R_43_26_USED)
          & used(R_43_26_USED,Z_43_A_LOB_J01_74,R_43_21_THE_CELL,R_43_34_AN_OXYGEN_CONCENTRATION_MONITOR) ) ) ).


n43_a_lob_j01 n43_a_lob_j01_4 Unless n43_a_lob_j01_8 it n43_a_lob_j01_10 is n43_a_lob_j01_13 * n43_a_lob_j01_15 known n43_a_lob_j01_20 at n43_a_lob_j01_23 what n43_a_lob_j01_25 oxygen n43_a_lob_j01_27 potential n43_a_lob_j01_30 a n43_a_lob_j01_33 given n43_a_lob_j01_35 material n43_a_lob_j01_38 in n43_a_lob_j01_41 the n43_a_lob_j01_43 sodium n43_a_lob_j01_45 coolant n43_a_lob_j01_47 circuit n43_a_lob_j01_49 will n43_a_lob_j01_52 start n43_a_lob_j01_55 to n43_a_lob_j01_57 oxidise n43_a_lob_j01_59 *ICH*-133 n43_a_lob_j01_62 the n43_a_lob_j01_64 cell n43_a_lob_j01_66 can n43_a_lob_j01_70 only n43_a_lob_j01_72 be n43_a_lob_j01_75 * n43_a_lob_j01_77 used n43_a_lob_j01_80 as n43_a_lob_j01_84 _*_ n43_a_lob_j01_86 has n43_a_lob_j01_89 been n43_a_lob_j01_92 * n43_a_lob_j01_94 suggested n43_a_lob_j01_97 above n43_a_lob_j01_99 , n43_a_lob_j01_102 as n43_a_lob_j01_105 an n43_a_lob_j01_107 oxygen n43_a_lob_j01_109 concentration n43_a_lob_j01_111 monitor n43_a_lob_j01_113 . n43_a_lob_j01_1 IP-MAT n43_a_lob_j01_2 PP-SCON n43_a_lob_j01_1->n43_a_lob_j01_2 n43_a_lob_j01_60 NP-SBJ n43_a_lob_j01_1->n43_a_lob_j01_60 n43_a_lob_j01_65 MD;_cat_Vi_ n43_a_lob_j01_1->n43_a_lob_j01_65 n43_a_lob_j01_67 IP-INF-CAT n43_a_lob_j01_1->n43_a_lob_j01_67 n43_a_lob_j01_112 PUNC n43_a_lob_j01_1->n43_a_lob_j01_112 n43_a_lob_j01_3 P-CONN n43_a_lob_j01_2->n43_a_lob_j01_3 n43_a_lob_j01_5 IP-ADV n43_a_lob_j01_2->n43_a_lob_j01_5 n43_a_lob_j01_3->n43_a_lob_j01_4 n43_a_lob_j01_6 NP-SBJ n43_a_lob_j01_5->n43_a_lob_j01_6 n43_a_lob_j01_9 BEP;_cat_VePASS_ n43_a_lob_j01_5->n43_a_lob_j01_9 n43_a_lob_j01_11 IP-PPL-CAT n43_a_lob_j01_5->n43_a_lob_j01_11 n43_a_lob_j01_7 PRO;_provisional_ n43_a_lob_j01_6->n43_a_lob_j01_7 n43_a_lob_j01_7->n43_a_lob_j01_8 n43_a_lob_j01_9->n43_a_lob_j01_10 n43_a_lob_j01_12 NP-LGS n43_a_lob_j01_11->n43_a_lob_j01_12 n43_a_lob_j01_14 VVN;_Tn_ n43_a_lob_j01_11->n43_a_lob_j01_14 n43_a_lob_j01_16 CP-QUE-NSBJ n43_a_lob_j01_11->n43_a_lob_j01_16 n43_a_lob_j01_12->n43_a_lob_j01_13 n43_a_lob_j01_14->n43_a_lob_j01_15 n43_a_lob_j01_17 IP-SUB n43_a_lob_j01_16->n43_a_lob_j01_17 n43_a_lob_j01_18 PP-133 n43_a_lob_j01_17->n43_a_lob_j01_18 n43_a_lob_j01_28 NP-SBJ n43_a_lob_j01_17->n43_a_lob_j01_28 n43_a_lob_j01_48 MD;_cat_Vi_ n43_a_lob_j01_17->n43_a_lob_j01_48 n43_a_lob_j01_50 IP-INF-CAT n43_a_lob_j01_17->n43_a_lob_j01_50 n43_a_lob_j01_19 P-ROLE n43_a_lob_j01_18->n43_a_lob_j01_19 n43_a_lob_j01_21 NP n43_a_lob_j01_18->n43_a_lob_j01_21 n43_a_lob_j01_19->n43_a_lob_j01_20 n43_a_lob_j01_22 WD n43_a_lob_j01_21->n43_a_lob_j01_22 n43_a_lob_j01_24 N n43_a_lob_j01_21->n43_a_lob_j01_24 n43_a_lob_j01_26 N n43_a_lob_j01_21->n43_a_lob_j01_26 n43_a_lob_j01_22->n43_a_lob_j01_23 n43_a_lob_j01_24->n43_a_lob_j01_25 n43_a_lob_j01_26->n43_a_lob_j01_27 n43_a_lob_j01_29 D n43_a_lob_j01_28->n43_a_lob_j01_29 n43_a_lob_j01_31 ADJP n43_a_lob_j01_28->n43_a_lob_j01_31 n43_a_lob_j01_34 N n43_a_lob_j01_28->n43_a_lob_j01_34 n43_a_lob_j01_36 PP n43_a_lob_j01_28->n43_a_lob_j01_36 n43_a_lob_j01_29->n43_a_lob_j01_30 n43_a_lob_j01_32 ADJ n43_a_lob_j01_31->n43_a_lob_j01_32 n43_a_lob_j01_32->n43_a_lob_j01_33 n43_a_lob_j01_34->n43_a_lob_j01_35 n43_a_lob_j01_37 P-ROLE n43_a_lob_j01_36->n43_a_lob_j01_37 n43_a_lob_j01_39 NP n43_a_lob_j01_36->n43_a_lob_j01_39 n43_a_lob_j01_37->n43_a_lob_j01_38 n43_a_lob_j01_40 D n43_a_lob_j01_39->n43_a_lob_j01_40 n43_a_lob_j01_42 N n43_a_lob_j01_39->n43_a_lob_j01_42 n43_a_lob_j01_44 N n43_a_lob_j01_39->n43_a_lob_j01_44 n43_a_lob_j01_46 N n43_a_lob_j01_39->n43_a_lob_j01_46 n43_a_lob_j01_40->n43_a_lob_j01_41 n43_a_lob_j01_42->n43_a_lob_j01_43 n43_a_lob_j01_44->n43_a_lob_j01_45 n43_a_lob_j01_46->n43_a_lob_j01_47 n43_a_lob_j01_48->n43_a_lob_j01_49 n43_a_lob_j01_51 VB;_cat_Vt_ n43_a_lob_j01_50->n43_a_lob_j01_51 n43_a_lob_j01_53 IP-INF-CAT n43_a_lob_j01_50->n43_a_lob_j01_53 n43_a_lob_j01_51->n43_a_lob_j01_52 n43_a_lob_j01_54 TO n43_a_lob_j01_53->n43_a_lob_j01_54 n43_a_lob_j01_56 VB;_I_ n43_a_lob_j01_53->n43_a_lob_j01_56 n43_a_lob_j01_58 PP-NIM n43_a_lob_j01_53->n43_a_lob_j01_58 n43_a_lob_j01_54->n43_a_lob_j01_55 n43_a_lob_j01_56->n43_a_lob_j01_57 n43_a_lob_j01_58->n43_a_lob_j01_59 n43_a_lob_j01_61 D n43_a_lob_j01_60->n43_a_lob_j01_61 n43_a_lob_j01_63 N n43_a_lob_j01_60->n43_a_lob_j01_63 n43_a_lob_j01_61->n43_a_lob_j01_62 n43_a_lob_j01_63->n43_a_lob_j01_64 n43_a_lob_j01_65->n43_a_lob_j01_66 n43_a_lob_j01_68 ADVP-NIM n43_a_lob_j01_67->n43_a_lob_j01_68 n43_a_lob_j01_71 BE;_cat_VePASS_ n43_a_lob_j01_67->n43_a_lob_j01_71 n43_a_lob_j01_73 IP-PPL-CAT n43_a_lob_j01_67->n43_a_lob_j01_73 n43_a_lob_j01_69 ADV n43_a_lob_j01_68->n43_a_lob_j01_69 n43_a_lob_j01_69->n43_a_lob_j01_70 n43_a_lob_j01_71->n43_a_lob_j01_72 n43_a_lob_j01_74 NP-LGS n43_a_lob_j01_73->n43_a_lob_j01_74 n43_a_lob_j01_76 VVN;_Cn.n/a_ n43_a_lob_j01_73->n43_a_lob_j01_76 n43_a_lob_j01_78 PP-SCON n43_a_lob_j01_73->n43_a_lob_j01_78 n43_a_lob_j01_98 PUNC n43_a_lob_j01_73->n43_a_lob_j01_98 n43_a_lob_j01_100 PP-PRD n43_a_lob_j01_73->n43_a_lob_j01_100 n43_a_lob_j01_74->n43_a_lob_j01_75 n43_a_lob_j01_76->n43_a_lob_j01_77 n43_a_lob_j01_79 P-CONN n43_a_lob_j01_78->n43_a_lob_j01_79 n43_a_lob_j01_81 IP-ADV n43_a_lob_j01_78->n43_a_lob_j01_81 n43_a_lob_j01_79->n43_a_lob_j01_80 n43_a_lob_j01_82 NP-SBJ n43_a_lob_j01_81->n43_a_lob_j01_82 n43_a_lob_j01_85 HVP;_cat_Ve_ n43_a_lob_j01_81->n43_a_lob_j01_85 n43_a_lob_j01_87 IP-PPL-CAT n43_a_lob_j01_81->n43_a_lob_j01_87 n43_a_lob_j01_83 N n43_a_lob_j01_82->n43_a_lob_j01_83 n43_a_lob_j01_83->n43_a_lob_j01_84 n43_a_lob_j01_85->n43_a_lob_j01_86 n43_a_lob_j01_88 BEN;_cat_VePASS_ n43_a_lob_j01_87->n43_a_lob_j01_88 n43_a_lob_j01_90 IP-PPL-CAT n43_a_lob_j01_87->n43_a_lob_j01_90 n43_a_lob_j01_88->n43_a_lob_j01_89 n43_a_lob_j01_91 NP-LGS n43_a_lob_j01_90->n43_a_lob_j01_91 n43_a_lob_j01_93 VVN;_Tn_ n43_a_lob_j01_90->n43_a_lob_j01_93 n43_a_lob_j01_95 ADVP-NIM n43_a_lob_j01_90->n43_a_lob_j01_95 n43_a_lob_j01_91->n43_a_lob_j01_92 n43_a_lob_j01_93->n43_a_lob_j01_94 n43_a_lob_j01_96 ADV n43_a_lob_j01_95->n43_a_lob_j01_96 n43_a_lob_j01_96->n43_a_lob_j01_97 n43_a_lob_j01_98->n43_a_lob_j01_99 n43_a_lob_j01_101 P-ROLE n43_a_lob_j01_100->n43_a_lob_j01_101 n43_a_lob_j01_103 NP n43_a_lob_j01_100->n43_a_lob_j01_103 n43_a_lob_j01_101->n43_a_lob_j01_102 n43_a_lob_j01_104 D n43_a_lob_j01_103->n43_a_lob_j01_104 n43_a_lob_j01_106 N n43_a_lob_j01_103->n43_a_lob_j01_106 n43_a_lob_j01_108 N n43_a_lob_j01_103->n43_a_lob_j01_108 n43_a_lob_j01_110 N n43_a_lob_j01_103->n43_a_lob_j01_110 n43_a_lob_j01_104->n43_a_lob_j01_105 n43_a_lob_j01_106->n43_a_lob_j01_107 n43_a_lob_j01_108->n43_a_lob_j01_109 n43_a_lob_j01_110->n43_a_lob_j01_111 n43_a_lob_j01_112->n43_a_lob_j01_113 
( (IP-MAT (PP-SCON (P-CONN Unless;{unless})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ known;{know})
                                       (CP-QUE-NSBJ (IP-SUB (PP-133 (P-ROLE at;{at})
                                                                    (NP (WD what;{what})
                                                                        (N oxygen;{oxygen})
                                                                        (N potential;{potential})))
                                                            (NP-SBJ (D a;{a})
                                                                    (ADJP (ADJ given;{given}))
                                                                    (N material;{material})
                                                                    (PP (P-ROLE in;{in})
                                                                        (NP (D the;{the})
                                                                            (N sodium;{sodium})
                                                                            (N coolant;{coolant})
                                                                            (N circuit;{circuit}))))
                                                            (MD;_cat_Vi_ will;{will})
                                                            (IP-INF-CAT (VB;_cat_Vt_ start;{start})
                                                                        (IP-INF-CAT (TO to;{to})
                                                                                    (VB;_I_ oxidise;{oxidise})
                                                                                    (PP-NIM *ICH*-133))))))))
          (NP-SBJ (D the;{the})
                  (N cell;{cell}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ used;{use[as]})
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ (N _*_))
                                                   (HVP;_cat_Ve_ has;{have})
                                                   (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                               (IP-PPL-CAT (NP-LGS *)
                                                                           (VVN;_Tn_ suggested;{suggest})
                                                                           (ADVP-NIM (ADV above;{above}))))))
                                  (PUNC ,)
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (D an;{an})
                                              (N oxygen;{oxygen})
                                              (N concentration;{concentration})
                                              (N monitor;{monitor})))))
          (PUNC .))
  (ID 43_a_lob_j01))