Context                Previous, Next                Top


40_a_major_case
If that is of any legal relevance, it can only be in the sense that an inherently improbable allegation may require more cogent evidence in support of it.

%3 r_0040_0001__If If r_0040_0003__is is r_0040_0001__If->r_0040_0003__is [restriction] r_0040_0010__can can r_0040_0001__If->r_0040_0010__can [scope] r_0040_0002__that that r_0040_0003__is->r_0040_0002__that [arg0] r_0040_0005__any_r_0040_0007__relevance any relevance r_0040_0003__is->r_0040_0005__any_r_0040_0007__relevance of [clr] r_0040_0012__be be r_0040_0010__can->r_0040_0012__be [scope] r_0040_0006__legal legal r_0040_0005__any_r_0040_0007__relevance->r_0040_0006__legal [attrib] r_0040_0012__be->r_0040_0003__is [arg0] r_0040_0011__only only r_0040_0012__be->r_0040_0011__only [nim] r_0040_0014__the_r_0040_0015__sense the sense r_0040_0012__be->r_0040_0014__the_r_0040_0015__sense in [clr] r_0040_0016__that_r_0040_0021__may that may r_0040_0014__the_r_0040_0015__sense->r_0040_0016__that_r_0040_0021__may [emb] r_0040_0022__require require r_0040_0016__that_r_0040_0021__may->r_0040_0022__require [scope] r_0040_0017__an_r_0040_0020__allegation an allegation r_0040_0022__require->r_0040_0017__an_r_0040_0020__allegation [arg0] r_0040_0025__evidence evidence r_0040_0022__require->r_0040_0025__evidence [arg1] r_0040_0019__improbable improbable r_0040_0017__an_r_0040_0020__allegation->r_0040_0019__improbable [attrib] r_0040_0018__inherently inherently r_0040_0019__improbable->r_0040_0018__inherently [qual] r_0040_0023__more more r_0040_0025__evidence->r_0040_0023__more [attrib] r_0040_0024__cogent cogent r_0040_0025__evidence->r_0040_0024__cogent [attrib] r_0040_0027__support support r_0040_0025__evidence->r_0040_0027__support in r_0040_0027__support->r_0040_0017__an_r_0040_0020__allegation of 
arc(r_0040_0001__If, r_0040_0003__is, restriction).
arc(r_0040_0001__If, r_0040_0010__can, scope).
arc(r_0040_0003__is, r_0040_0002__that, arg0).
arc(r_0040_0003__is, r_0040_0005__any_r_0040_0007__relevance, r_0040_0004__of_clr14).
arc(r_0040_0005__any_r_0040_0007__relevance, r_0040_0006__legal, attrib17).
arc(r_0040_0010__can, r_0040_0012__be, scope).
arc(r_0040_0012__be, r_0040_0003__is, arg0).
arc(r_0040_0012__be, r_0040_0011__only, nim30).
arc(r_0040_0012__be, r_0040_0014__the_r_0040_0015__sense, r_0040_0013__in_clr38).
arc(r_0040_0014__the_r_0040_0015__sense, r_0040_0016__that_r_0040_0021__may, emb44).
arc(r_0040_0016__that_r_0040_0021__may, r_0040_0022__require, scope).
arc(r_0040_0017__an_r_0040_0020__allegation, r_0040_0019__improbable, attrib50).
arc(r_0040_0019__improbable, r_0040_0018__inherently, qual51).
arc(r_0040_0022__require, r_0040_0017__an_r_0040_0020__allegation, arg0).
arc(r_0040_0022__require, r_0040_0025__evidence, arg1).
arc(r_0040_0025__evidence, r_0040_0023__more, attrib64).
arc(r_0040_0025__evidence, r_0040_0024__cogent, attrib67).
arc(r_0040_0025__evidence, r_0040_0027__support, r_0040_0026__in).
arc(r_0040_0027__support, r_0040_0017__an_r_0040_0020__allegation, r_0040_0028__of).


%3 r_0040_0001__If If r_0040_0003__is is r_0040_0001__If->r_0040_0003__is [restriction] r_0040_0010__can_r_0040_0012__be can be r_0040_0001__If->r_0040_0010__can_r_0040_0012__be [scope] r_0040_0002__that that r_0040_0003__is->r_0040_0002__that [arg0] r_0040_0005__any_r_0040_0007__relevance any relevance r_0040_0003__is->r_0040_0005__any_r_0040_0007__relevance of [clr] r_0040_0010__can_r_0040_0012__be->r_0040_0003__is [arg0] r_0040_0011__only only r_0040_0010__can_r_0040_0012__be->r_0040_0011__only [nim] r_0040_0014__the_r_0040_0015__sense the sense r_0040_0010__can_r_0040_0012__be->r_0040_0014__the_r_0040_0015__sense in [clr] r_0040_0006__legal legal r_0040_0005__any_r_0040_0007__relevance->r_0040_0006__legal [attrib] r_0040_0016__that_r_0040_0021__may_r_0040_0022__require that may require r_0040_0014__the_r_0040_0015__sense->r_0040_0016__that_r_0040_0021__may_r_0040_0022__require [emb] r_0040_0017__an_r_0040_0020__allegation an allegation r_0040_0016__that_r_0040_0021__may_r_0040_0022__require->r_0040_0017__an_r_0040_0020__allegation [arg0] r_0040_0025__evidence evidence r_0040_0016__that_r_0040_0021__may_r_0040_0022__require->r_0040_0025__evidence [arg1] r_0040_0019__improbable improbable r_0040_0017__an_r_0040_0020__allegation->r_0040_0019__improbable [attrib] r_0040_0023__more more r_0040_0025__evidence->r_0040_0023__more [attrib] r_0040_0024__cogent cogent r_0040_0025__evidence->r_0040_0024__cogent [attrib] r_0040_0027__support support r_0040_0025__evidence->r_0040_0027__support in r_0040_0018__inherently inherently r_0040_0019__improbable->r_0040_0018__inherently [qual] r_0040_0027__support->r_0040_0017__an_r_0040_0020__allegation of 
fof(formula,axiom,
    ! [R_40_3_IS,R_40_2_THAT,R_40_5_ANY_RELEVANCE,R_40_6_LEGAL] :
      ( ( that(R_40_2_THAT)
        & legal(R_40_6_LEGAL)
        & is(R_40_3_IS,R_40_2_THAT)
        & of_clr14(R_40_3_IS,R_40_5_ANY_RELEVANCE)
        & any_relevance(R_40_5_ANY_RELEVANCE)
        & attrib17(R_40_5_ANY_RELEVANCE,R_40_6_LEGAL) )
     => ? [R_40_10_CAN_BE,R_40_11_ONLY,R_40_14_THE_SENSE,R_40_16_THAT_MAY_REQUIRE,R_40_25_EVIDENCE,R_40_23_MORE,R_40_24_COGENT,R_40_27_SUPPORT,R_40_17_AN_ALLEGATION,R_40_19_IMPROBABLE,R_40_18_INHERENTLY] :
          ( only(R_40_11_ONLY)
          & more(R_40_23_MORE)
          & cogent(R_40_24_COGENT)
          & inherently(R_40_18_INHERENTLY)
          & can_be(R_40_10_CAN_BE,R_40_3_IS)
          & nim30(R_40_10_CAN_BE,R_40_11_ONLY)
          & in_clr38(R_40_10_CAN_BE,R_40_14_THE_SENSE)
          & the_sense(R_40_14_THE_SENSE)
          & emb44(R_40_14_THE_SENSE,R_40_16_THAT_MAY_REQUIRE)
          & that_may_require(R_40_16_THAT_MAY_REQUIRE,R_40_17_AN_ALLEGATION,R_40_25_EVIDENCE)
          & an_allegation(R_40_17_AN_ALLEGATION)
          & attrib50(R_40_17_AN_ALLEGATION,R_40_19_IMPROBABLE)
          & improbable(R_40_19_IMPROBABLE)
          & qual51(R_40_19_IMPROBABLE,R_40_18_INHERENTLY)
          & evidence(R_40_25_EVIDENCE)
          & attrib64(R_40_25_EVIDENCE,R_40_23_MORE)
          & attrib67(R_40_25_EVIDENCE,R_40_24_COGENT)
          & in(R_40_25_EVIDENCE,R_40_27_SUPPORT)
          & support(R_40_27_SUPPORT)
          & of(R_40_27_SUPPORT,R_40_17_AN_ALLEGATION) ) ) ).


n40_a_major_case n40_a_major_case_4 If n40_a_major_case_8 that n40_a_major_case_10 is n40_a_major_case_13 of n40_a_major_case_16 any n40_a_major_case_19 legal n40_a_major_case_21 relevance n40_a_major_case_23 , n40_a_major_case_26 it n40_a_major_case_28 can n40_a_major_case_32 only n40_a_major_case_34 be n40_a_major_case_37 in n40_a_major_case_40 the n40_a_major_case_42 sense n40_a_major_case_46 that n40_a_major_case_49 an n40_a_major_case_53 inherently n40_a_major_case_55 improbable n40_a_major_case_57 allegation n40_a_major_case_59 may n40_a_major_case_62 require n40_a_major_case_66 more n40_a_major_case_69 cogent n40_a_major_case_71 evidence n40_a_major_case_74 in n40_a_major_case_77 support n40_a_major_case_80 of n40_a_major_case_83 it n40_a_major_case_85 . n40_a_major_case_1 IP-MAT n40_a_major_case_2 PP-SCON n40_a_major_case_1->n40_a_major_case_2 n40_a_major_case_22 PUNC n40_a_major_case_1->n40_a_major_case_22 n40_a_major_case_24 NP-SBJ n40_a_major_case_1->n40_a_major_case_24 n40_a_major_case_27 MD;_cat_Vi_ n40_a_major_case_1->n40_a_major_case_27 n40_a_major_case_29 IP-INF-CAT n40_a_major_case_1->n40_a_major_case_29 n40_a_major_case_84 PUNC n40_a_major_case_1->n40_a_major_case_84 n40_a_major_case_3 P-CONN n40_a_major_case_2->n40_a_major_case_3 n40_a_major_case_5 IP-ADV n40_a_major_case_2->n40_a_major_case_5 n40_a_major_case_3->n40_a_major_case_4 n40_a_major_case_6 NP-SBJ n40_a_major_case_5->n40_a_major_case_6 n40_a_major_case_9 BEP;_Ipr_ n40_a_major_case_5->n40_a_major_case_9 n40_a_major_case_11 PP-CLR n40_a_major_case_5->n40_a_major_case_11 n40_a_major_case_7 D;_nphd_ n40_a_major_case_6->n40_a_major_case_7 n40_a_major_case_7->n40_a_major_case_8 n40_a_major_case_9->n40_a_major_case_10 n40_a_major_case_12 P-ROLE n40_a_major_case_11->n40_a_major_case_12 n40_a_major_case_14 NP n40_a_major_case_11->n40_a_major_case_14 n40_a_major_case_12->n40_a_major_case_13 n40_a_major_case_15 D n40_a_major_case_14->n40_a_major_case_15 n40_a_major_case_17 ADJP n40_a_major_case_14->n40_a_major_case_17 n40_a_major_case_20 N n40_a_major_case_14->n40_a_major_case_20 n40_a_major_case_15->n40_a_major_case_16 n40_a_major_case_18 ADJ n40_a_major_case_17->n40_a_major_case_18 n40_a_major_case_18->n40_a_major_case_19 n40_a_major_case_20->n40_a_major_case_21 n40_a_major_case_22->n40_a_major_case_23 n40_a_major_case_25 PRO n40_a_major_case_24->n40_a_major_case_25 n40_a_major_case_25->n40_a_major_case_26 n40_a_major_case_27->n40_a_major_case_28 n40_a_major_case_30 ADVP-NIM n40_a_major_case_29->n40_a_major_case_30 n40_a_major_case_33 BE;_Ipr_ n40_a_major_case_29->n40_a_major_case_33 n40_a_major_case_35 PP-CLR n40_a_major_case_29->n40_a_major_case_35 n40_a_major_case_31 ADV n40_a_major_case_30->n40_a_major_case_31 n40_a_major_case_31->n40_a_major_case_32 n40_a_major_case_33->n40_a_major_case_34 n40_a_major_case_36 P-ROLE n40_a_major_case_35->n40_a_major_case_36 n40_a_major_case_38 NP n40_a_major_case_35->n40_a_major_case_38 n40_a_major_case_36->n40_a_major_case_37 n40_a_major_case_39 D n40_a_major_case_38->n40_a_major_case_39 n40_a_major_case_41 N n40_a_major_case_38->n40_a_major_case_41 n40_a_major_case_43 CP-THT n40_a_major_case_38->n40_a_major_case_43 n40_a_major_case_39->n40_a_major_case_40 n40_a_major_case_41->n40_a_major_case_42 n40_a_major_case_44 IP-SUB n40_a_major_case_43->n40_a_major_case_44 n40_a_major_case_45 C n40_a_major_case_44->n40_a_major_case_45 n40_a_major_case_47 NP-SBJ n40_a_major_case_44->n40_a_major_case_47 n40_a_major_case_58 MD;_cat_Vi_ n40_a_major_case_44->n40_a_major_case_58 n40_a_major_case_60 IP-INF-CAT n40_a_major_case_44->n40_a_major_case_60 n40_a_major_case_45->n40_a_major_case_46 n40_a_major_case_48 D n40_a_major_case_47->n40_a_major_case_48 n40_a_major_case_50 ADJP n40_a_major_case_47->n40_a_major_case_50 n40_a_major_case_56 N n40_a_major_case_47->n40_a_major_case_56 n40_a_major_case_48->n40_a_major_case_49 n40_a_major_case_51 ADVP n40_a_major_case_50->n40_a_major_case_51 n40_a_major_case_54 ADJ n40_a_major_case_50->n40_a_major_case_54 n40_a_major_case_52 ADV n40_a_major_case_51->n40_a_major_case_52 n40_a_major_case_52->n40_a_major_case_53 n40_a_major_case_54->n40_a_major_case_55 n40_a_major_case_56->n40_a_major_case_57 n40_a_major_case_58->n40_a_major_case_59 n40_a_major_case_61 VB;__ n40_a_major_case_60->n40_a_major_case_61 n40_a_major_case_63 NP-OB1 n40_a_major_case_60->n40_a_major_case_63 n40_a_major_case_61->n40_a_major_case_62 n40_a_major_case_64 ADJP n40_a_major_case_63->n40_a_major_case_64 n40_a_major_case_67 ADJP n40_a_major_case_63->n40_a_major_case_67 n40_a_major_case_70 N n40_a_major_case_63->n40_a_major_case_70 n40_a_major_case_72 PP n40_a_major_case_63->n40_a_major_case_72 n40_a_major_case_65 ADJR n40_a_major_case_64->n40_a_major_case_65 n40_a_major_case_65->n40_a_major_case_66 n40_a_major_case_68 ADJ n40_a_major_case_67->n40_a_major_case_68 n40_a_major_case_68->n40_a_major_case_69 n40_a_major_case_70->n40_a_major_case_71 n40_a_major_case_73 P-ROLE n40_a_major_case_72->n40_a_major_case_73 n40_a_major_case_75 NP n40_a_major_case_72->n40_a_major_case_75 n40_a_major_case_73->n40_a_major_case_74 n40_a_major_case_76 N n40_a_major_case_75->n40_a_major_case_76 n40_a_major_case_78 PP n40_a_major_case_75->n40_a_major_case_78 n40_a_major_case_76->n40_a_major_case_77 n40_a_major_case_79 P-ROLE n40_a_major_case_78->n40_a_major_case_79 n40_a_major_case_81 NP n40_a_major_case_78->n40_a_major_case_81 n40_a_major_case_79->n40_a_major_case_80 n40_a_major_case_82 PRO n40_a_major_case_81->n40_a_major_case_82 n40_a_major_case_82->n40_a_major_case_83 n40_a_major_case_84->n40_a_major_case_85 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV;{ARGUMENT_HAS_RELEVANCE} (NP-SBJ;{ARGUMENT} (D;_nphd_ that;{that}))
                                                    (BEP;_Ipr_ is;{be[of]})
                                                    (PP-CLR (P-ROLE of;{of})
                                                            (NP (D any;{any})
                                                                (ADJP (ADJ legal;{legal}))
                                                                (N relevance;{relevance})))))
          (PUNC ,)
          (NP-SBJ;{ARGUMENT_HAS_RELEVANCE} (PRO it;{it}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (BE;_Ipr_ be;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N sense;{sense})
                                  (CP-THT (IP-SUB (C that;{that})
                                                  (NP-SBJ;{ALLEGATION} (D an;{an})
                                                                       (ADJP (ADVP (ADV inherently;{inherently}))
                                                                             (ADJ improbable;{improbable}))
                                                                       (N allegation;{allegation}))
                                                  (MD;_cat_Vi_ may;{may})
                                                  (IP-INF-CAT (VB;__ require;{require})
                                                              (NP-OB1 (ADJP (ADJR more;{more}))
                                                                      (ADJP (ADJ cogent;{cogent}))
                                                                      (N evidence;{evidence})
                                                                      (PP (P-ROLE in;{in})
                                                                          (NP (N support;{support})
                                                                              (PP (P-ROLE of;{of})
                                                                                  (NP;{ALLEGATION} (PRO it;{it}))))))))))))
          (PUNC .))
  (ID 40_a_major_case))