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.

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))



%3 r_0044_0029__resolved resolved z_0044_5016___star_ * r_0044_0029__resolved->z_0044_5016___star_ [arg0] r_0044_0017__the_r_0044_0019__issue the issue 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_0028__be be r_0044_0028__be->r_0044_0029__resolved [scope] r_0044_0027__not not r_0044_0026__would would r_0044_0027__not->r_0044_0026__would [keep_scope] r_0044_0026__would->r_0044_0028__be [scope] r_0044_0022__arisen arisen r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue [inv_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_0021__has has r_0044_0021__has->r_0044_0022__arisen [scope] r_0044_0015__mean mean r_0044_0015__mean->r_0044_0027__not [arg1] r_0044_0007__proceed proceed r_0044_0015__mean->r_0044_0007__proceed [arg0] z_0044_5001 r_0044_0007__proceed->z_0044_5001 [arg0] r_0044_0009__that_r_0044_0010__basis that basis r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis on [nim] r_0044_0014__would would r_0044_0014__would->r_0044_0015__mean [scope] r_0044_0012__because because r_0044_0012__because->r_0044_0014__would [restriction] r_0044_0002__would would r_0044_0012__because->r_0044_0002__would [scope] r_0044_0004__be be r_0044_0002__would->r_0044_0004__be [scope] r_0044_0004__be->r_0044_0007__proceed [arg0] r_0044_0005__wrong wrong r_0044_0004__be->r_0044_0005__wrong [prd] r_0044_0003__also also r_0044_0004__be->r_0044_0003__also [nim]
arc(r_0044_0002__would,r_0044_0004__be,scope).
arc(r_0044_0004__be,r_0044_0003__also,nim).
arc(r_0044_0004__be,r_0044_0005__wrong,prd).
arc(r_0044_0004__be,r_0044_0007__proceed,arg0).
arc(r_0044_0007__proceed,r_0044_0009__that_r_0044_0010__basis,r_0044_0008__on__nim).
arc(r_0044_0007__proceed,z_0044_5001,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_0007__proceed,arg0).
arc(r_0044_0015__mean,r_0044_0027__not,arg1).
arc(r_0044_0017__the_r_0044_0019__issue,r_0044_0018__real,attrib).
arc(r_0044_0021__has,r_0044_0022__arisen,scope).
arc(r_0044_0022__arisen,r_0044_0017__the_r_0044_0019__issue,inv_arg0).
arc(r_0044_0022__arisen,r_0044_0024__the_r_0044_0025__facts,r_0044_0023__on__nim).
arc(r_0044_0026__would,r_0044_0028__be,scope).
arc(r_0044_0027__not,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_0044_5016___star_,arg0).



%3 r_0044_0002__would_r_0044_0004__be would be r_0044_0003__also also r_0044_0002__would_r_0044_0004__be->r_0044_0003__also [nim] r_0044_0005__wrong wrong r_0044_0002__would_r_0044_0004__be->r_0044_0005__wrong [prd] r_0044_0007__proceed proceed r_0044_0002__would_r_0044_0004__be->r_0044_0007__proceed [arg0] r_0044_0009__that_r_0044_0010__basis that basis r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis on [nim] z_0044_5001 r_0044_0007__proceed->z_0044_5001 [arg0] r_0044_0012__because because r_0044_0012__because->r_0044_0002__would_r_0044_0004__be [conj2] r_0044_0014__would_r_0044_0015__mean would mean r_0044_0012__because->r_0044_0014__would_r_0044_0015__mean [conj1] r_0044_0014__would_r_0044_0015__mean->r_0044_0007__proceed [arg0] r_0044_0027__not not r_0044_0014__would_r_0044_0015__mean->r_0044_0027__not [arg1] r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved would be resolved r_0044_0027__not->r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved [keep_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_0021__has_r_0044_0022__arisen has arisen r_0044_0017__the_r_0044_0019__issue->r_0044_0021__has_r_0044_0022__arisen [inv_arg0] r_0044_0024__the_r_0044_0025__facts the facts r_0044_0021__has_r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts on [nim] r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue [arg1] z_0044_5016___star_ * r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->z_0044_5016___star_ [arg0]
fof(formula,axiom,
    ? [R_0044_0003__ALSO,R_0044_0005__WRONG,R_0044_0009__THAT_R_0044_0010__BASIS,Z_0044_5001,R_0044_0007__PROCEED,R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0012__BECAUSE] :
      ( 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)
      & z_0044_5001(Z_0044_5001)
      & 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_0018__REAL,R_0044_0024__THE_R_0044_0025__FACTS,R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0017__THE_R_0044_0019__ISSUE,Z_0044_5016___STAR_,R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED] :
            ( 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_0044_5016___star_(Z_0044_5016___STAR_)
            & r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED)
            & has_arg0(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,Z_0044_5016___STAR_)
            & has_arg1(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,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_inv_arg0(R_0044_0017__THE_R_0044_0019__ISSUE,R_0044_0021__HAS_R_0044_0022__ARISEN)
            & r_0044_0021__has_r_0044_0022__arisen(R_0044_0021__HAS_R_0044_0022__ARISEN)
            & has_r_0044_0023__on__nim(R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0024__THE_R_0044_0025__FACTS)
            & has_attrib(R_0044_0017__THE_R_0044_0019__ISSUE,R_0044_0018__REAL) )
      & has_arg0(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0007__PROCEED)
      & r_0044_0007__proceed(R_0044_0007__PROCEED)
      & has_arg0(R_0044_0007__PROCEED,Z_0044_5001)
      & has_r_0044_0008__on__nim(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_0007__PROCEED)
      & has_prd(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0005__WRONG)
      & has_nim(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0003__ALSO) ) ).