Context                Previous, Next                Top


65_a_lob_j01
It is not suggested that the above proposal will be successful but rather that it is worth a trial in the event of the inadequacy of some simpler method of monitoring the oxygen in a sodium circuit.

%3 r_0065_0002__is is r_0065_0003__not not r_0065_0002__is->r_0065_0003__not [scope] r_0065_0004__suggested suggested r_0065_0003__not->r_0065_0004__suggested [keep_scope] r_0065_0012__but but r_0065_0004__suggested->r_0065_0012__but [arg1] z_000_65_a_lob_j01_8 r_0065_0004__suggested->z_000_65_a_lob_j01_8 [arg0] r_0065_0005__that_r_0065_0009__will that will r_0065_0012__but->r_0065_0005__that_r_0065_0009__will [conj1] r_0065_0014__that_r_0065_0016__is that is r_0065_0012__but->r_0065_0014__that_r_0065_0016__is [conj2] r_0065_0010__be be r_0065_0005__that_r_0065_0009__will->r_0065_0010__be [scope] r_0065_0006__the_r_0065_0008__proposal the proposal r_0065_0010__be->r_0065_0006__the_r_0065_0008__proposal [arg0] r_0065_0011__successful successful r_0065_0010__be->r_0065_0011__successful [prd] r_0065_0007__above above r_0065_0006__the_r_0065_0008__proposal->r_0065_0007__above [qual] r_0065_0014__that_r_0065_0016__is->z_000_65_a_lob_j01_8 [arg0] r_0065_0013__rather rather r_0065_0014__that_r_0065_0016__is->r_0065_0013__rather [nim] r_0065_0018__a_r_0065_0019__trial a trial r_0065_0014__that_r_0065_0016__is->r_0065_0018__a_r_0065_0019__trial worth [clr] r_0065_0021__the_r_0065_0022__event the event r_0065_0014__that_r_0065_0016__is->r_0065_0021__the_r_0065_0022__event in [nim] r_0065_0024__the_r_0065_0025__inadequacy the inadequacy r_0065_0021__the_r_0065_0022__event->r_0065_0024__the_r_0065_0025__inadequacy of r_0065_0027__some_r_0065_0029__method some method r_0065_0024__the_r_0065_0025__inadequacy->r_0065_0027__some_r_0065_0029__method of r_0065_0028__simpler simpler r_0065_0027__some_r_0065_0029__method->r_0065_0028__simpler [attrib] r_0065_0031__monitoring monitoring r_0065_0027__some_r_0065_0029__method->r_0065_0031__monitoring of r_0065_0032__the_r_0065_0033__oxygen the oxygen r_0065_0031__monitoring->r_0065_0032__the_r_0065_0033__oxygen [arg1] z_000_65_a_lob_j01_88 r_0065_0031__monitoring->z_000_65_a_lob_j01_88 [arg0] r_0065_0035__a_r_0065_0036__sodium_r_0065_0037__circuit a sodium circuit r_0065_0032__the_r_0065_0033__oxygen->r_0065_0035__a_r_0065_0036__sodium_r_0065_0037__circuit in 
arc(r_0065_0002__is, r_0065_0003__not, scope).
arc(r_0065_0003__not, r_0065_0004__suggested, keep_scope).
arc(r_0065_0004__suggested, r_0065_0012__but, arg1).
arc(r_0065_0004__suggested, z_000_65_a_lob_j01_8, arg0).
arc(r_0065_0005__that_r_0065_0009__will, r_0065_0010__be, scope).
arc(r_0065_0006__the_r_0065_0008__proposal, r_0065_0007__above, qual23).
arc(r_0065_0010__be, r_0065_0006__the_r_0065_0008__proposal, arg0).
arc(r_0065_0010__be, r_0065_0011__successful, prd).
arc(r_0065_0012__but, r_0065_0005__that_r_0065_0009__will, conj1).
arc(r_0065_0012__but, r_0065_0014__that_r_0065_0016__is, conj2).
arc(r_0065_0014__that_r_0065_0016__is, r_0065_0013__rather, nim40).
arc(r_0065_0014__that_r_0065_0016__is, r_0065_0018__a_r_0065_0019__trial, r_0065_0017__worth_clr53).
arc(r_0065_0014__that_r_0065_0016__is, r_0065_0021__the_r_0065_0022__event, r_0065_0020__in_nim61).
arc(r_0065_0014__that_r_0065_0016__is, z_000_65_a_lob_j01_8, arg0).
arc(r_0065_0021__the_r_0065_0022__event, r_0065_0024__the_r_0065_0025__inadequacy, r_0065_0023__of).
arc(r_0065_0024__the_r_0065_0025__inadequacy, r_0065_0027__some_r_0065_0029__method, r_0065_0026__of).
arc(r_0065_0027__some_r_0065_0029__method, r_0065_0028__simpler, attrib80).
arc(r_0065_0027__some_r_0065_0029__method, r_0065_0031__monitoring, r_0065_0030__of).
arc(r_0065_0031__monitoring, r_0065_0032__the_r_0065_0033__oxygen, arg1).
arc(r_0065_0031__monitoring, z_000_65_a_lob_j01_88, arg0).
arc(r_0065_0032__the_r_0065_0033__oxygen, r_0065_0035__a_r_0065_0036__sodium_r_0065_0037__circuit, r_0065_0034__in).


%3 r_0065_0002__is_r_0065_0003__not is not r_0065_0004__suggested suggested r_0065_0002__is_r_0065_0003__not->r_0065_0004__suggested [keep_scope] r_0065_0012__but but r_0065_0004__suggested->r_0065_0012__but [arg1] z_000_65_a_lob_j01_8 r_0065_0004__suggested->z_000_65_a_lob_j01_8 [arg0] r_0065_0005__that_r_0065_0009__will_r_0065_0010__be that will be r_0065_0012__but->r_0065_0005__that_r_0065_0009__will_r_0065_0010__be [conj1] r_0065_0014__that_r_0065_0016__is that is r_0065_0012__but->r_0065_0014__that_r_0065_0016__is [conj2] r_0065_0006__the_r_0065_0008__proposal the proposal r_0065_0005__that_r_0065_0009__will_r_0065_0010__be->r_0065_0006__the_r_0065_0008__proposal [arg0] r_0065_0011__successful successful r_0065_0005__that_r_0065_0009__will_r_0065_0010__be->r_0065_0011__successful [prd] r_0065_0007__above above r_0065_0006__the_r_0065_0008__proposal->r_0065_0007__above [qual] r_0065_0014__that_r_0065_0016__is->z_000_65_a_lob_j01_8 [arg0] r_0065_0013__rather rather r_0065_0014__that_r_0065_0016__is->r_0065_0013__rather [nim] r_0065_0018__a_r_0065_0019__trial a trial r_0065_0014__that_r_0065_0016__is->r_0065_0018__a_r_0065_0019__trial worth [clr] r_0065_0021__the_r_0065_0022__event the event r_0065_0014__that_r_0065_0016__is->r_0065_0021__the_r_0065_0022__event in [nim] r_0065_0024__the_r_0065_0025__inadequacy the inadequacy r_0065_0021__the_r_0065_0022__event->r_0065_0024__the_r_0065_0025__inadequacy of r_0065_0027__some_r_0065_0029__method some method r_0065_0024__the_r_0065_0025__inadequacy->r_0065_0027__some_r_0065_0029__method of r_0065_0028__simpler simpler r_0065_0027__some_r_0065_0029__method->r_0065_0028__simpler [attrib] r_0065_0031__monitoring monitoring r_0065_0027__some_r_0065_0029__method->r_0065_0031__monitoring of r_0065_0032__the_r_0065_0033__oxygen the oxygen r_0065_0031__monitoring->r_0065_0032__the_r_0065_0033__oxygen [arg1] z_000_65_a_lob_j01_88 r_0065_0031__monitoring->z_000_65_a_lob_j01_88 [arg0] r_0065_0035__a_r_0065_0036__sodium_r_0065_0037__circuit a sodium circuit r_0065_0032__the_r_0065_0033__oxygen->r_0065_0035__a_r_0065_0036__sodium_r_0065_0037__circuit in 
fof(formula,axiom,
    ~ ? [R_65_4_SUGGESTED,R_65_12_BUT,R_65_5_THAT_WILL_BE,R_65_6_THE_PROPOSAL,R_65_7_ABOVE,R_65_11_SUCCESSFUL,R_65_14_THAT_IS,Z_65_A_LOB_J01_8,R_65_13_RATHER,R_65_18_A_TRIAL,R_65_21_THE_EVENT,R_65_24_THE_INADEQUACY,R_65_27_SOME_METHOD,R_65_28_SIMPLER,R_65_31_MONITORING,Z_65_A_LOB_J01_88,R_65_32_THE_OXYGEN,R_65_35_A_SODIUM_CIRCUIT] :
        ( above(R_65_7_ABOVE)
        & successful(R_65_11_SUCCESSFUL)
        & rather(R_65_13_RATHER)
        & a_trial(R_65_18_A_TRIAL)
        & simpler(R_65_28_SIMPLER)
        & a_sodium_circuit(R_65_35_A_SODIUM_CIRCUIT)
        & suggested(R_65_4_SUGGESTED,Z_65_A_LOB_J01_8,R_65_12_BUT)
        & but(R_65_12_BUT)
        & conj1(R_65_12_BUT,R_65_5_THAT_WILL_BE)
        & that_will_be(R_65_5_THAT_WILL_BE,R_65_6_THE_PROPOSAL,R_65_11_SUCCESSFUL)
        & the_proposal(R_65_6_THE_PROPOSAL)
        & qual23(R_65_6_THE_PROPOSAL,R_65_7_ABOVE)
        & conj2(R_65_12_BUT,R_65_14_THAT_IS)
        & that_is(R_65_14_THAT_IS,Z_65_A_LOB_J01_8)
        & nim40(R_65_14_THAT_IS,R_65_13_RATHER)
        & worth_clr53(R_65_14_THAT_IS,R_65_18_A_TRIAL)
        & in_nim61(R_65_14_THAT_IS,R_65_21_THE_EVENT)
        & the_event(R_65_21_THE_EVENT)
        & of(R_65_21_THE_EVENT,R_65_24_THE_INADEQUACY)
        & the_inadequacy(R_65_24_THE_INADEQUACY)
        & of(R_65_24_THE_INADEQUACY,R_65_27_SOME_METHOD)
        & some_method(R_65_27_SOME_METHOD)
        & attrib80(R_65_27_SOME_METHOD,R_65_28_SIMPLER)
        & of(R_65_27_SOME_METHOD,R_65_31_MONITORING)
        & monitoring(R_65_31_MONITORING,Z_65_A_LOB_J01_88,R_65_32_THE_OXYGEN)
        & the_oxygen(R_65_32_THE_OXYGEN)
        & in(R_65_32_THE_OXYGEN,R_65_35_A_SODIUM_CIRCUIT) ) ).


n65_a_lob_j01 n65_a_lob_j01_4 It n65_a_lob_j01_6 is n65_a_lob_j01_9 * n65_a_lob_j01_11 not n65_a_lob_j01_13 suggested n65_a_lob_j01_19 that n65_a_lob_j01_22 the n65_a_lob_j01_25 above n65_a_lob_j01_27 proposal n65_a_lob_j01_29 will n65_a_lob_j01_32 be n65_a_lob_j01_35 successful n65_a_lob_j01_38 but n65_a_lob_j01_42 rather n65_a_lob_j01_44 that n65_a_lob_j01_47 it n65_a_lob_j01_49 is n65_a_lob_j01_52 worth n65_a_lob_j01_55 a n65_a_lob_j01_57 trial n65_a_lob_j01_60 in n65_a_lob_j01_63 the n65_a_lob_j01_65 event n65_a_lob_j01_68 of n65_a_lob_j01_71 the n65_a_lob_j01_73 inadequacy n65_a_lob_j01_76 of n65_a_lob_j01_79 some n65_a_lob_j01_82 simpler n65_a_lob_j01_84 method n65_a_lob_j01_87 of n65_a_lob_j01_90 monitoring n65_a_lob_j01_93 the n65_a_lob_j01_95 oxygen n65_a_lob_j01_98 in n65_a_lob_j01_101 a n65_a_lob_j01_103 sodium n65_a_lob_j01_105 circuit n65_a_lob_j01_107 . n65_a_lob_j01_1 IP-MAT n65_a_lob_j01_2 NP-SBJ n65_a_lob_j01_1->n65_a_lob_j01_2 n65_a_lob_j01_5 BEP;_cat_VePASS_ n65_a_lob_j01_1->n65_a_lob_j01_5 n65_a_lob_j01_7 IP-PPL-CAT n65_a_lob_j01_1->n65_a_lob_j01_7 n65_a_lob_j01_106 PUNC n65_a_lob_j01_1->n65_a_lob_j01_106 n65_a_lob_j01_3 PRO;_provisional_ n65_a_lob_j01_2->n65_a_lob_j01_3 n65_a_lob_j01_3->n65_a_lob_j01_4 n65_a_lob_j01_5->n65_a_lob_j01_6 n65_a_lob_j01_8 NP-LGS n65_a_lob_j01_7->n65_a_lob_j01_8 n65_a_lob_j01_10 NEG n65_a_lob_j01_7->n65_a_lob_j01_10 n65_a_lob_j01_12 VVN;__ n65_a_lob_j01_7->n65_a_lob_j01_12 n65_a_lob_j01_14 CP-THT-NSBJ n65_a_lob_j01_7->n65_a_lob_j01_14 n65_a_lob_j01_8->n65_a_lob_j01_9 n65_a_lob_j01_10->n65_a_lob_j01_11 n65_a_lob_j01_12->n65_a_lob_j01_13 n65_a_lob_j01_15 IP-SUB n65_a_lob_j01_14->n65_a_lob_j01_15 n65_a_lob_j01_16 ILYR n65_a_lob_j01_15->n65_a_lob_j01_16 n65_a_lob_j01_17 ILYR n65_a_lob_j01_16->n65_a_lob_j01_17 n65_a_lob_j01_36 CONJP n65_a_lob_j01_16->n65_a_lob_j01_36 n65_a_lob_j01_18 C n65_a_lob_j01_17->n65_a_lob_j01_18 n65_a_lob_j01_20 NP-SBJ n65_a_lob_j01_17->n65_a_lob_j01_20 n65_a_lob_j01_28 MD;_cat_Vi_ n65_a_lob_j01_17->n65_a_lob_j01_28 n65_a_lob_j01_30 IP-INF-CAT n65_a_lob_j01_17->n65_a_lob_j01_30 n65_a_lob_j01_18->n65_a_lob_j01_19 n65_a_lob_j01_21 D n65_a_lob_j01_20->n65_a_lob_j01_21 n65_a_lob_j01_23 ADVP n65_a_lob_j01_20->n65_a_lob_j01_23 n65_a_lob_j01_26 N n65_a_lob_j01_20->n65_a_lob_j01_26 n65_a_lob_j01_21->n65_a_lob_j01_22 n65_a_lob_j01_24 ADV n65_a_lob_j01_23->n65_a_lob_j01_24 n65_a_lob_j01_24->n65_a_lob_j01_25 n65_a_lob_j01_26->n65_a_lob_j01_27 n65_a_lob_j01_28->n65_a_lob_j01_29 n65_a_lob_j01_31 BE;_La_ n65_a_lob_j01_30->n65_a_lob_j01_31 n65_a_lob_j01_33 ADJP-PRD n65_a_lob_j01_30->n65_a_lob_j01_33 n65_a_lob_j01_31->n65_a_lob_j01_32 n65_a_lob_j01_34 ADJ n65_a_lob_j01_33->n65_a_lob_j01_34 n65_a_lob_j01_34->n65_a_lob_j01_35 n65_a_lob_j01_37 CONJ n65_a_lob_j01_36->n65_a_lob_j01_37 n65_a_lob_j01_39 ILYR n65_a_lob_j01_36->n65_a_lob_j01_39 n65_a_lob_j01_37->n65_a_lob_j01_38 n65_a_lob_j01_40 ADVP-NIM n65_a_lob_j01_39->n65_a_lob_j01_40 n65_a_lob_j01_43 C n65_a_lob_j01_39->n65_a_lob_j01_43 n65_a_lob_j01_45 NP-SBJ n65_a_lob_j01_39->n65_a_lob_j01_45 n65_a_lob_j01_48 BEP;_Ipr_ n65_a_lob_j01_39->n65_a_lob_j01_48 n65_a_lob_j01_50 PP-CLR n65_a_lob_j01_39->n65_a_lob_j01_50 n65_a_lob_j01_58 PP-NIM n65_a_lob_j01_39->n65_a_lob_j01_58 n65_a_lob_j01_41 ADVR n65_a_lob_j01_40->n65_a_lob_j01_41 n65_a_lob_j01_41->n65_a_lob_j01_42 n65_a_lob_j01_43->n65_a_lob_j01_44 n65_a_lob_j01_46 PRO n65_a_lob_j01_45->n65_a_lob_j01_46 n65_a_lob_j01_46->n65_a_lob_j01_47 n65_a_lob_j01_48->n65_a_lob_j01_49 n65_a_lob_j01_51 P-ROLE n65_a_lob_j01_50->n65_a_lob_j01_51 n65_a_lob_j01_53 NP n65_a_lob_j01_50->n65_a_lob_j01_53 n65_a_lob_j01_51->n65_a_lob_j01_52 n65_a_lob_j01_54 D n65_a_lob_j01_53->n65_a_lob_j01_54 n65_a_lob_j01_56 N n65_a_lob_j01_53->n65_a_lob_j01_56 n65_a_lob_j01_54->n65_a_lob_j01_55 n65_a_lob_j01_56->n65_a_lob_j01_57 n65_a_lob_j01_59 P-ROLE n65_a_lob_j01_58->n65_a_lob_j01_59 n65_a_lob_j01_61 NP n65_a_lob_j01_58->n65_a_lob_j01_61 n65_a_lob_j01_59->n65_a_lob_j01_60 n65_a_lob_j01_62 D n65_a_lob_j01_61->n65_a_lob_j01_62 n65_a_lob_j01_64 N n65_a_lob_j01_61->n65_a_lob_j01_64 n65_a_lob_j01_66 PP n65_a_lob_j01_61->n65_a_lob_j01_66 n65_a_lob_j01_62->n65_a_lob_j01_63 n65_a_lob_j01_64->n65_a_lob_j01_65 n65_a_lob_j01_67 P-ROLE n65_a_lob_j01_66->n65_a_lob_j01_67 n65_a_lob_j01_69 NP n65_a_lob_j01_66->n65_a_lob_j01_69 n65_a_lob_j01_67->n65_a_lob_j01_68 n65_a_lob_j01_70 D n65_a_lob_j01_69->n65_a_lob_j01_70 n65_a_lob_j01_72 N n65_a_lob_j01_69->n65_a_lob_j01_72 n65_a_lob_j01_74 PP n65_a_lob_j01_69->n65_a_lob_j01_74 n65_a_lob_j01_70->n65_a_lob_j01_71 n65_a_lob_j01_72->n65_a_lob_j01_73 n65_a_lob_j01_75 P-ROLE n65_a_lob_j01_74->n65_a_lob_j01_75 n65_a_lob_j01_77 NP n65_a_lob_j01_74->n65_a_lob_j01_77 n65_a_lob_j01_75->n65_a_lob_j01_76 n65_a_lob_j01_78 D n65_a_lob_j01_77->n65_a_lob_j01_78 n65_a_lob_j01_80 ADJP n65_a_lob_j01_77->n65_a_lob_j01_80 n65_a_lob_j01_83 N n65_a_lob_j01_77->n65_a_lob_j01_83 n65_a_lob_j01_85 PP n65_a_lob_j01_77->n65_a_lob_j01_85 n65_a_lob_j01_78->n65_a_lob_j01_79 n65_a_lob_j01_81 ADJR n65_a_lob_j01_80->n65_a_lob_j01_81 n65_a_lob_j01_81->n65_a_lob_j01_82 n65_a_lob_j01_83->n65_a_lob_j01_84 n65_a_lob_j01_86 P-ROLE n65_a_lob_j01_85->n65_a_lob_j01_86 n65_a_lob_j01_88 IP-PPL n65_a_lob_j01_85->n65_a_lob_j01_88 n65_a_lob_j01_86->n65_a_lob_j01_87 n65_a_lob_j01_89 VAG;__ n65_a_lob_j01_88->n65_a_lob_j01_89 n65_a_lob_j01_91 NP-OB1 n65_a_lob_j01_88->n65_a_lob_j01_91 n65_a_lob_j01_89->n65_a_lob_j01_90 n65_a_lob_j01_92 D n65_a_lob_j01_91->n65_a_lob_j01_92 n65_a_lob_j01_94 N n65_a_lob_j01_91->n65_a_lob_j01_94 n65_a_lob_j01_96 PP n65_a_lob_j01_91->n65_a_lob_j01_96 n65_a_lob_j01_92->n65_a_lob_j01_93 n65_a_lob_j01_94->n65_a_lob_j01_95 n65_a_lob_j01_97 P-ROLE n65_a_lob_j01_96->n65_a_lob_j01_97 n65_a_lob_j01_99 NP n65_a_lob_j01_96->n65_a_lob_j01_99 n65_a_lob_j01_97->n65_a_lob_j01_98 n65_a_lob_j01_100 D n65_a_lob_j01_99->n65_a_lob_j01_100 n65_a_lob_j01_102 N n65_a_lob_j01_99->n65_a_lob_j01_102 n65_a_lob_j01_104 N n65_a_lob_j01_99->n65_a_lob_j01_104 n65_a_lob_j01_100->n65_a_lob_j01_101 n65_a_lob_j01_102->n65_a_lob_j01_103 n65_a_lob_j01_104->n65_a_lob_j01_105 n65_a_lob_j01_106->n65_a_lob_j01_107 
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (NEG not;{not})
                      (VVN;__ suggested;{suggest})
                      (CP-THT-NSBJ (IP-SUB (ILYR (ILYR (C that;{that})
                                                       (NP-SBJ (D the;{the})
                                                               (ADVP (ADV above;{above}))
                                                               (N proposal;{proposal}))
                                                       (MD;_cat_Vi_ will;{will})
                                                       (IP-INF-CAT (BE;_La_ be;{be})
                                                                   (ADJP-PRD (ADJ successful;{successful}))))
                                                 (CONJP (CONJ but;{but})
                                                        (ILYR (ADVP-NIM (ADVR rather;{rather}))
                                                              (C that;{that})
                                                              (NP-SBJ (PRO it;{it}))
                                                              (BEP;_Ipr_ is;{be[worth]})
                                                              (PP-CLR (P-ROLE worth;{worth})
                                                                      (NP (D a;{a})
                                                                          (N trial;{trial})))
                                                              (PP-NIM (P-ROLE in;{in})
                                                                      (NP (D the;{the})
                                                                          (N event;{event})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (D the;{the})
                                                                                  (N inadequacy;{inadequacy})
                                                                                  (PP (P-ROLE of;{of})
                                                                                      (NP (D some;{some})
                                                                                          (ADJP (ADJR simpler;{simple}))
                                                                                          (N method;{method})
                                                                                          (PP (P-ROLE of;{of})
                                                                                              (IP-PPL (VAG;__ monitoring;{monitor})
                                                                                                      (NP-OB1 (D the;{the})
                                                                                                              (N oxygen;{oxygen})
                                                                                                              (PP (P-ROLE in;{in})
                                                                                                                  (NP (D a;{a})
                                                                                                                      (N sodium;{sodium})
                                                                                                                      (N circuit;{circuit}))))))))))))))))))
          (PUNC .))
  (ID 65_a_lob_j01))