44_a_major_case
It would also be wrong to proceed on that basis, because it would mean that the real issue that has arisen on the facts would not be resolved.

%3 r_0044_0002__would would r_0044_0004__be be r_0044_0002__would->r_0044_0004__be [scope] r_0044_0003__also also r_0044_0004__be->r_0044_0003__also [nim] r_0044_0005__wrong wrong r_0044_0004__be->r_0044_0005__wrong [prd] r_0044_0006__to_r_0044_0007__proceed to proceed r_0044_0004__be->r_0044_0006__to_r_0044_0007__proceed [arg0] r_0044_0009__that_r_0044_0010__basis that basis r_0044_0006__to_r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis on [nim] z_000_44_a_major_case_2 r_0044_0006__to_r_0044_0007__proceed->z_000_44_a_major_case_2 [arg0] r_0044_0012__because because r_0044_0012__because->r_0044_0002__would [scope] r_0044_0014__would would r_0044_0012__because->r_0044_0014__would [restriction] r_0044_0015__mean mean r_0044_0014__would->r_0044_0015__mean [scope] r_0044_0015__mean->r_0044_0006__to_r_0044_0007__proceed [arg0] r_0044_0016__that_r_0044_0026__would that would r_0044_0015__mean->r_0044_0016__that_r_0044_0026__would [arg1] r_0044_0027__not not r_0044_0015__mean->r_0044_0027__not [arg1] r_0044_0028__be be r_0044_0016__that_r_0044_0026__would->r_0044_0028__be [scope] r_0044_0027__not->r_0044_0016__that_r_0044_0026__would [keep_scope] r_0044_0029__resolved resolved r_0044_0028__be->r_0044_0029__resolved [scope] r_0044_0017__the_r_0044_0019__issue the issue r_0044_0018__real real r_0044_0017__the_r_0044_0019__issue->r_0044_0018__real [attrib] r_0044_0020__that_r_0044_0021__has that has r_0044_0022__arisen arisen r_0044_0020__that_r_0044_0021__has->r_0044_0022__arisen [scope] r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue [arg0] r_0044_0024__the_r_0044_0025__facts the facts r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts on [nim] r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue [arg1] z_000_44_a_major_case_81 r_0044_0029__resolved->z_000_44_a_major_case_81 [arg0]
arc(r_0044_0002__would, r_0044_0004__be, scope).
arc(r_0044_0004__be, r_0044_0003__also, nim8).
arc(r_0044_0004__be, r_0044_0005__wrong, prd).
arc(r_0044_0004__be, r_0044_0006__to_r_0044_0007__proceed, arg0).
arc(r_0044_0006__to_r_0044_0007__proceed, r_0044_0009__that_r_0044_0010__basis, r_0044_0008__on_nim24).
arc(r_0044_0006__to_r_0044_0007__proceed, z_000_44_a_major_case_2, arg0).
arc(r_0044_0012__because, r_0044_0002__would, scope).
arc(r_0044_0012__because, r_0044_0014__would, restriction).
arc(r_0044_0014__would, r_0044_0015__mean, scope).
arc(r_0044_0015__mean, r_0044_0006__to_r_0044_0007__proceed, arg0).
arc(r_0044_0015__mean, r_0044_0016__that_r_0044_0026__would, arg1).
arc(r_0044_0015__mean, r_0044_0027__not, arg1).
arc(r_0044_0016__that_r_0044_0026__would, r_0044_0028__be, scope).
arc(r_0044_0017__the_r_0044_0019__issue, r_0044_0018__real, attrib50).
arc(r_0044_0020__that_r_0044_0021__has, r_0044_0022__arisen, scope).
arc(r_0044_0022__arisen, r_0044_0017__the_r_0044_0019__issue, arg0).
arc(r_0044_0022__arisen, r_0044_0024__the_r_0044_0025__facts, r_0044_0023__on_nim68).
arc(r_0044_0027__not, r_0044_0016__that_r_0044_0026__would, keep_scope).
arc(r_0044_0028__be, r_0044_0029__resolved, scope).
arc(r_0044_0029__resolved, r_0044_0017__the_r_0044_0019__issue, arg1).
arc(r_0044_0029__resolved, z_000_44_a_major_case_81, arg0).



%3 r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved that would be resolved z_000_44_a_major_case_81 r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->z_000_44_a_major_case_81 [arg0] r_0044_0017__the_r_0044_0019__issue the issue r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue [arg1] r_0044_0018__real real r_0044_0017__the_r_0044_0019__issue->r_0044_0018__real [attrib] r_0044_0027__not not r_0044_0027__not->r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved [keep_scope] r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen that has arisen r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue [arg0] r_0044_0024__the_r_0044_0025__facts the facts r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts on [nim] r_0044_0014__would_r_0044_0015__mean would mean r_0044_0014__would_r_0044_0015__mean->r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved [arg1] r_0044_0014__would_r_0044_0015__mean->r_0044_0027__not [arg1] r_0044_0006__to_r_0044_0007__proceed to proceed r_0044_0014__would_r_0044_0015__mean->r_0044_0006__to_r_0044_0007__proceed [arg0] z_000_44_a_major_case_2 r_0044_0006__to_r_0044_0007__proceed->z_000_44_a_major_case_2 [arg0] r_0044_0009__that_r_0044_0010__basis that basis r_0044_0006__to_r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis on [nim] r_0044_0012__because because r_0044_0012__because->r_0044_0014__would_r_0044_0015__mean [conj1] r_0044_0002__would_r_0044_0004__be would be r_0044_0012__because->r_0044_0002__would_r_0044_0004__be [conj2] r_0044_0002__would_r_0044_0004__be->r_0044_0006__to_r_0044_0007__proceed [arg0] r_0044_0005__wrong wrong r_0044_0002__would_r_0044_0004__be->r_0044_0005__wrong [prd] r_0044_0003__also also r_0044_0002__would_r_0044_0004__be->r_0044_0003__also [nim]
fof(formula,axiom,
    ? [R_0044_0003__ALSO,R_0044_0005__WRONG,R_0044_0009__THAT_R_0044_0010__BASIS,Z_000_44_A_MAJOR_CASE_2,R_0044_0006__TO_R_0044_0007__PROCEED,R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0018__REAL,R_0044_0017__THE_R_0044_0019__ISSUE,Z_000_44_A_MAJOR_CASE_81,R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0012__BECAUSE,R_0044_0024__THE_R_0044_0025__FACTS,R_0044_0020__THAT_R_0044_0021__HAS_R_0044_0022__ARISEN] :
      ( r_0044_0003__also(R_0044_0003__ALSO)
      & r_0044_0005__wrong(R_0044_0005__WRONG)
      & r_0044_0009__that_r_0044_0010__basis(R_0044_0009__THAT_R_0044_0010__BASIS)
      & r_0044_0018__real(R_0044_0018__REAL)
      & r_0044_0024__the_r_0044_0025__facts(R_0044_0024__THE_R_0044_0025__FACTS)
      & z_000_44_a_major_case_2(Z_000_44_A_MAJOR_CASE_2)
      & z_000_44_a_major_case_81(Z_000_44_A_MAJOR_CASE_81)
      & r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen(R_0044_0020__THAT_R_0044_0021__HAS_R_0044_0022__ARISEN)
      & has_r_0044_0023__on_nim68(R_0044_0020__THAT_R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0024__THE_R_0044_0025__FACTS)
      & has_arg0(R_0044_0020__THAT_R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0017__THE_R_0044_0019__ISSUE)
      & r_0044_0017__the_r_0044_0019__issue(R_0044_0017__THE_R_0044_0019__ISSUE)
      & has_attrib50(R_0044_0017__THE_R_0044_0019__ISSUE,R_0044_0018__REAL)
      & r_0044_0012__because(R_0044_0012__BECAUSE)
      & has_conj1(R_0044_0012__BECAUSE,R_0044_0014__WOULD_R_0044_0015__MEAN)
      & r_0044_0014__would_r_0044_0015__mean(R_0044_0014__WOULD_R_0044_0015__MEAN)
      & has_arg1(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0027__NOT)
      & ~ r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved(R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED)
      & has_arg1(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED)
      & r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved(R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED)
      & has_arg0(R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,Z_000_44_A_MAJOR_CASE_81)
      & has_arg1(R_0044_0016__THAT_R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,R_0044_0017__THE_R_0044_0019__ISSUE)
      & has_arg0(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0006__TO_R_0044_0007__PROCEED)
      & r_0044_0006__to_r_0044_0007__proceed(R_0044_0006__TO_R_0044_0007__PROCEED)
      & has_arg0(R_0044_0006__TO_R_0044_0007__PROCEED,Z_000_44_A_MAJOR_CASE_2)
      & has_r_0044_0008__on_nim24(R_0044_0006__TO_R_0044_0007__PROCEED,R_0044_0009__THAT_R_0044_0010__BASIS)
      & has_conj2(R_0044_0012__BECAUSE,R_0044_0002__WOULD_R_0044_0004__BE)
      & r_0044_0002__would_r_0044_0004__be(R_0044_0002__WOULD_R_0044_0004__BE)
      & has_arg0(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0006__TO_R_0044_0007__PROCEED)
      & has_prd(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0005__WRONG)
      & has_nim8(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0003__ALSO) ) ).



n44_a_major_case n44_a_major_case__1_1_1_1 It n44_a_major_case__1_2_1 would n44_a_major_case__1_3_1_1_1 also n44_a_major_case__1_3_2_1 be n44_a_major_case__1_3_3_1_1 wrong n44_a_major_case__1_3_4_1_1 to n44_a_major_case__1_3_4_2_1 proceed n44_a_major_case__1_3_4_3_1_1 on n44_a_major_case__1_3_4_3_2_1_1 that n44_a_major_case__1_3_4_3_2_2_1 basis n44_a_major_case__1_4_1 , n44_a_major_case__1_5_1_1 because n44_a_major_case__1_5_2_1_1_1 it n44_a_major_case__1_5_2_2_1 would n44_a_major_case__1_5_2_3_1_1 mean n44_a_major_case__1_5_2_3_2_1_1_1 that n44_a_major_case__1_5_2_3_2_1_2_1_1 the n44_a_major_case__1_5_2_3_2_1_2_2_1_1 real n44_a_major_case__1_5_2_3_2_1_2_3_1 issue n44_a_major_case__1_5_2_3_2_1_2_4_1_1 that n44_a_major_case__1_5_2_3_2_1_2_4_2_1 *T* n44_a_major_case__1_5_2_3_2_1_2_4_3_1 has n44_a_major_case__1_5_2_3_2_1_2_4_4_1_1 arisen n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1_1 on n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1_1 the n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2_1 facts n44_a_major_case__1_5_2_3_2_1_3_1 would n44_a_major_case__1_5_2_3_2_1_4_1 not n44_a_major_case__1_5_2_3_2_1_5_1_1 be n44_a_major_case__1_5_2_3_2_1_5_2_1_1 * n44_a_major_case__1_5_2_3_2_1_5_2_2_1 resolved n44_a_major_case__1_6_1 . n44_a_major_case__1 IP-MAT n44_a_major_case__1_1 NP-SBJ n44_a_major_case__1->n44_a_major_case__1_1 n44_a_major_case__1_2 MD;_cat_Vi_ n44_a_major_case__1->n44_a_major_case__1_2 n44_a_major_case__1_3 IP-INF-CAT n44_a_major_case__1->n44_a_major_case__1_3 n44_a_major_case__1_4 PUNC n44_a_major_case__1->n44_a_major_case__1_4 n44_a_major_case__1_5 PP-SCON n44_a_major_case__1->n44_a_major_case__1_5 n44_a_major_case__1_6 PUNC n44_a_major_case__1->n44_a_major_case__1_6 n44_a_major_case__1_1_1 PRO;_provisional_ n44_a_major_case__1_1->n44_a_major_case__1_1_1 n44_a_major_case__1_1_1->n44_a_major_case__1_1_1_1 n44_a_major_case__1_2->n44_a_major_case__1_2_1 n44_a_major_case__1_3_1 ADVP-NIM n44_a_major_case__1_3->n44_a_major_case__1_3_1 n44_a_major_case__1_3_2 BE;_La_ n44_a_major_case__1_3->n44_a_major_case__1_3_2 n44_a_major_case__1_3_3 ADJP-PRD n44_a_major_case__1_3->n44_a_major_case__1_3_3 n44_a_major_case__1_3_4 IP-INF-NSBJ n44_a_major_case__1_3->n44_a_major_case__1_3_4 n44_a_major_case__1_3_1_1 ADV n44_a_major_case__1_3_1->n44_a_major_case__1_3_1_1 n44_a_major_case__1_3_1_1->n44_a_major_case__1_3_1_1_1 n44_a_major_case__1_3_2->n44_a_major_case__1_3_2_1 n44_a_major_case__1_3_3_1 ADJ n44_a_major_case__1_3_3->n44_a_major_case__1_3_3_1 n44_a_major_case__1_3_3_1->n44_a_major_case__1_3_3_1_1 n44_a_major_case__1_3_4_1 TO n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_1 n44_a_major_case__1_3_4_2 VB;__ n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_2 n44_a_major_case__1_3_4_3 PP-NIM n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_3 n44_a_major_case__1_3_4_1->n44_a_major_case__1_3_4_1_1 n44_a_major_case__1_3_4_2->n44_a_major_case__1_3_4_2_1 n44_a_major_case__1_3_4_3_1 P-ROLE n44_a_major_case__1_3_4_3->n44_a_major_case__1_3_4_3_1 n44_a_major_case__1_3_4_3_2 NP n44_a_major_case__1_3_4_3->n44_a_major_case__1_3_4_3_2 n44_a_major_case__1_3_4_3_1->n44_a_major_case__1_3_4_3_1_1 n44_a_major_case__1_3_4_3_2_1 D n44_a_major_case__1_3_4_3_2->n44_a_major_case__1_3_4_3_2_1 n44_a_major_case__1_3_4_3_2_2 N n44_a_major_case__1_3_4_3_2->n44_a_major_case__1_3_4_3_2_2 n44_a_major_case__1_3_4_3_2_1->n44_a_major_case__1_3_4_3_2_1_1 n44_a_major_case__1_3_4_3_2_2->n44_a_major_case__1_3_4_3_2_2_1 n44_a_major_case__1_4->n44_a_major_case__1_4_1 n44_a_major_case__1_5_1 P-CONN n44_a_major_case__1_5->n44_a_major_case__1_5_1 n44_a_major_case__1_5_2 IP-ADV n44_a_major_case__1_5->n44_a_major_case__1_5_2 n44_a_major_case__1_5_1->n44_a_major_case__1_5_1_1 n44_a_major_case__1_5_2_1 NP-SBJ n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_1 n44_a_major_case__1_5_2_2 MD;_cat_Vi_ n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_2 n44_a_major_case__1_5_2_3 IP-INF-CAT n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_3 n44_a_major_case__1_5_2_1_1 PRO n44_a_major_case__1_5_2_1->n44_a_major_case__1_5_2_1_1 n44_a_major_case__1_5_2_1_1->n44_a_major_case__1_5_2_1_1_1 n44_a_major_case__1_5_2_2->n44_a_major_case__1_5_2_2_1 n44_a_major_case__1_5_2_3_1 VB;__ n44_a_major_case__1_5_2_3->n44_a_major_case__1_5_2_3_1 n44_a_major_case__1_5_2_3_2 CP-THT-OB1 n44_a_major_case__1_5_2_3->n44_a_major_case__1_5_2_3_2 n44_a_major_case__1_5_2_3_1->n44_a_major_case__1_5_2_3_1_1 n44_a_major_case__1_5_2_3_2_1 IP-SUB n44_a_major_case__1_5_2_3_2->n44_a_major_case__1_5_2_3_2_1 n44_a_major_case__1_5_2_3_2_1_1 C n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_1 n44_a_major_case__1_5_2_3_2_1_2 NP-SBJ n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_2 n44_a_major_case__1_5_2_3_2_1_3 MD;_cat_Vi_ n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_3 n44_a_major_case__1_5_2_3_2_1_4 NEG n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_4 n44_a_major_case__1_5_2_3_2_1_5 IP-INF-CAT n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_5 n44_a_major_case__1_5_2_3_2_1_1->n44_a_major_case__1_5_2_3_2_1_1_1 n44_a_major_case__1_5_2_3_2_1_2_1 D n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_1 n44_a_major_case__1_5_2_3_2_1_2_2 ADJP n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_2 n44_a_major_case__1_5_2_3_2_1_2_3 N n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_3 n44_a_major_case__1_5_2_3_2_1_2_4 IP-REL n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_4 n44_a_major_case__1_5_2_3_2_1_2_1->n44_a_major_case__1_5_2_3_2_1_2_1_1 n44_a_major_case__1_5_2_3_2_1_2_2_1 ADJ n44_a_major_case__1_5_2_3_2_1_2_2->n44_a_major_case__1_5_2_3_2_1_2_2_1 n44_a_major_case__1_5_2_3_2_1_2_2_1->n44_a_major_case__1_5_2_3_2_1_2_2_1_1 n44_a_major_case__1_5_2_3_2_1_2_3->n44_a_major_case__1_5_2_3_2_1_2_3_1 n44_a_major_case__1_5_2_3_2_1_2_4_1 C n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_1 n44_a_major_case__1_5_2_3_2_1_2_4_2 NP-SBJ n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_2 n44_a_major_case__1_5_2_3_2_1_2_4_3 HVP;_cat_Ve_ n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_3 n44_a_major_case__1_5_2_3_2_1_2_4_4 IP-PPL-CAT n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_4 n44_a_major_case__1_5_2_3_2_1_2_4_1->n44_a_major_case__1_5_2_3_2_1_2_4_1_1 n44_a_major_case__1_5_2_3_2_1_2_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_2_1 n44_a_major_case__1_5_2_3_2_1_2_4_3->n44_a_major_case__1_5_2_3_2_1_2_4_3_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_1 VVN;__ n44_a_major_case__1_5_2_3_2_1_2_4_4->n44_a_major_case__1_5_2_3_2_1_2_4_4_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2 PP-NIM n44_a_major_case__1_5_2_3_2_1_2_4_4->n44_a_major_case__1_5_2_3_2_1_2_4_4_2 n44_a_major_case__1_5_2_3_2_1_2_4_4_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_1_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1 P-ROLE n44_a_major_case__1_5_2_3_2_1_2_4_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2 NP n44_a_major_case__1_5_2_3_2_1_2_4_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1 D n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2 NS n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1_1 n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2_1 n44_a_major_case__1_5_2_3_2_1_3->n44_a_major_case__1_5_2_3_2_1_3_1 n44_a_major_case__1_5_2_3_2_1_4->n44_a_major_case__1_5_2_3_2_1_4_1 n44_a_major_case__1_5_2_3_2_1_5_1 BE;_cat_VePASS_ n44_a_major_case__1_5_2_3_2_1_5->n44_a_major_case__1_5_2_3_2_1_5_1 n44_a_major_case__1_5_2_3_2_1_5_2 IP-PPL-CAT n44_a_major_case__1_5_2_3_2_1_5->n44_a_major_case__1_5_2_3_2_1_5_2 n44_a_major_case__1_5_2_3_2_1_5_1->n44_a_major_case__1_5_2_3_2_1_5_1_1 n44_a_major_case__1_5_2_3_2_1_5_2_1 NP-LGS n44_a_major_case__1_5_2_3_2_1_5_2->n44_a_major_case__1_5_2_3_2_1_5_2_1 n44_a_major_case__1_5_2_3_2_1_5_2_2 VVN;__ n44_a_major_case__1_5_2_3_2_1_5_2->n44_a_major_case__1_5_2_3_2_1_5_2_2 n44_a_major_case__1_5_2_3_2_1_5_2_1->n44_a_major_case__1_5_2_3_2_1_5_2_1_1 n44_a_major_case__1_5_2_3_2_1_5_2_2->n44_a_major_case__1_5_2_3_2_1_5_2_2_1 n44_a_major_case__1_6->n44_a_major_case__1_6_1
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM (ADV also;{also}))
                      (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ wrong;{wrong}))
                      (IP-INF-NSBJ;{PROCEED} (TO to;{to})
                                             (VB;__ proceed;{proceed})
                                             (PP-NIM (P-ROLE on;{on})
                                                     (NP (D that;{that})
                                                         (N basis;{basis})))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{PROCEED} (PRO it;{it}))
                           (MD;_cat_Vi_ would;{will})
                           (IP-INF-CAT (VB;__ mean;{mean})
                                       (CP-THT-OB1 (IP-SUB (C that;{that})
                                                           (NP-SBJ (D the;{the})
                                                                   (ADJP (ADJ real;{real}))
                                                                   (N issue;{issue})
                                                                   (IP-REL (C that;{that})
                                                                           (NP-SBJ *T*)
                                                                           (HVP;_cat_Ve_ has;{have})
                                                                           (IP-PPL-CAT (VVN;__ arisen;{arise})
                                                                                       (PP-NIM (P-ROLE on;{on})
                                                                                               (NP (D the;{the})
                                                                                                   (NS facts;{fact}))))))
                                                           (MD;_cat_Vi_ would;{will})
                                                           (NEG not;{not})
                                                           (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                       (IP-PPL-CAT (NP-LGS *)
                                                                                   (VVN;__ resolved;{resolve}))))))))
          (PUNC .))
  (ID 44_a_major_case))