Context                Previous, Next                Top


41_a_wilde_2_1888
Then the Hail stopped dancing over his head, and the North Wind ceased roaring, and a delicious perfume came to him through the open casement.

n41_a_wilde_2_1888 n41_a_wilde_2_1888__1_1_1_1 Then n41_a_wilde_2_1888__1_2_1_1_1_1 the n41_a_wilde_2_1888__1_2_1_1_2_1 Hail n41_a_wilde_2_1888__1_2_1_2_1 stopped n41_a_wilde_2_1888__1_2_1_3_1_1 dancing n41_a_wilde_2_1888__1_2_1_3_2_1_1 over n41_a_wilde_2_1888__1_2_1_3_2_2_1_1_1 his n41_a_wilde_2_1888__1_2_1_3_2_2_2_1 head n41_a_wilde_2_1888__1_2_2_1 , n41_a_wilde_2_1888__1_2_3_1_1 and n41_a_wilde_2_1888__1_2_3_2_1_1_1 the n41_a_wilde_2_1888__1_2_3_2_1_2_1 North n41_a_wilde_2_1888__1_2_3_2_1_3_1 Wind n41_a_wilde_2_1888__1_2_3_2_2_1 ceased n41_a_wilde_2_1888__1_2_3_2_3_1_1 roaring n41_a_wilde_2_1888__1_2_4_1 , n41_a_wilde_2_1888__1_2_5_1_1 and n41_a_wilde_2_1888__1_2_5_2_1_1_1 a n41_a_wilde_2_1888__1_2_5_2_1_2_1_1 delicious n41_a_wilde_2_1888__1_2_5_2_1_3_1 perfume n41_a_wilde_2_1888__1_2_5_2_2_1 came n41_a_wilde_2_1888__1_2_5_2_3_1_1 to n41_a_wilde_2_1888__1_2_5_2_3_2_1_1 him n41_a_wilde_2_1888__1_2_5_2_4_1_1 through n41_a_wilde_2_1888__1_2_5_2_4_2_1_1 the n41_a_wilde_2_1888__1_2_5_2_4_2_2_1_1 open n41_a_wilde_2_1888__1_2_5_2_4_2_3_1 casement n41_a_wilde_2_1888__1_3_1 . n41_a_wilde_2_1888__1 IP-MAT n41_a_wilde_2_1888__1_1 ADVP-NIM n41_a_wilde_2_1888__1->n41_a_wilde_2_1888__1_1 n41_a_wilde_2_1888__1_2 ILYR n41_a_wilde_2_1888__1->n41_a_wilde_2_1888__1_2 n41_a_wilde_2_1888__1_3 PUNC n41_a_wilde_2_1888__1->n41_a_wilde_2_1888__1_3 n41_a_wilde_2_1888__1_1_1 ADV n41_a_wilde_2_1888__1_1->n41_a_wilde_2_1888__1_1_1 n41_a_wilde_2_1888__1_1_1->n41_a_wilde_2_1888__1_1_1_1 n41_a_wilde_2_1888__1_2_1 ILYR n41_a_wilde_2_1888__1_2->n41_a_wilde_2_1888__1_2_1 n41_a_wilde_2_1888__1_2_2 PUNC n41_a_wilde_2_1888__1_2->n41_a_wilde_2_1888__1_2_2 n41_a_wilde_2_1888__1_2_3 CONJP n41_a_wilde_2_1888__1_2->n41_a_wilde_2_1888__1_2_3 n41_a_wilde_2_1888__1_2_4 PUNC n41_a_wilde_2_1888__1_2->n41_a_wilde_2_1888__1_2_4 n41_a_wilde_2_1888__1_2_5 CONJP n41_a_wilde_2_1888__1_2->n41_a_wilde_2_1888__1_2_5 n41_a_wilde_2_1888__1_2_1_1 NP-SBJ n41_a_wilde_2_1888__1_2_1->n41_a_wilde_2_1888__1_2_1_1 n41_a_wilde_2_1888__1_2_1_2 VBD;__ n41_a_wilde_2_1888__1_2_1->n41_a_wilde_2_1888__1_2_1_2 n41_a_wilde_2_1888__1_2_1_3 NP-OB1 n41_a_wilde_2_1888__1_2_1->n41_a_wilde_2_1888__1_2_1_3 n41_a_wilde_2_1888__1_2_1_1_1 D n41_a_wilde_2_1888__1_2_1_1->n41_a_wilde_2_1888__1_2_1_1_1 n41_a_wilde_2_1888__1_2_1_1_2 N n41_a_wilde_2_1888__1_2_1_1->n41_a_wilde_2_1888__1_2_1_1_2 n41_a_wilde_2_1888__1_2_1_1_1->n41_a_wilde_2_1888__1_2_1_1_1_1 n41_a_wilde_2_1888__1_2_1_1_2->n41_a_wilde_2_1888__1_2_1_1_2_1 n41_a_wilde_2_1888__1_2_1_2->n41_a_wilde_2_1888__1_2_1_2_1 n41_a_wilde_2_1888__1_2_1_3_1 N n41_a_wilde_2_1888__1_2_1_3->n41_a_wilde_2_1888__1_2_1_3_1 n41_a_wilde_2_1888__1_2_1_3_2 PP n41_a_wilde_2_1888__1_2_1_3->n41_a_wilde_2_1888__1_2_1_3_2 n41_a_wilde_2_1888__1_2_1_3_1->n41_a_wilde_2_1888__1_2_1_3_1_1 n41_a_wilde_2_1888__1_2_1_3_2_1 P-ROLE n41_a_wilde_2_1888__1_2_1_3_2->n41_a_wilde_2_1888__1_2_1_3_2_1 n41_a_wilde_2_1888__1_2_1_3_2_2 NP n41_a_wilde_2_1888__1_2_1_3_2->n41_a_wilde_2_1888__1_2_1_3_2_2 n41_a_wilde_2_1888__1_2_1_3_2_1->n41_a_wilde_2_1888__1_2_1_3_2_1_1 n41_a_wilde_2_1888__1_2_1_3_2_2_1 NP-GEN n41_a_wilde_2_1888__1_2_1_3_2_2->n41_a_wilde_2_1888__1_2_1_3_2_2_1 n41_a_wilde_2_1888__1_2_1_3_2_2_2 N n41_a_wilde_2_1888__1_2_1_3_2_2->n41_a_wilde_2_1888__1_2_1_3_2_2_2 n41_a_wilde_2_1888__1_2_1_3_2_2_1_1 PRO;_genm_ n41_a_wilde_2_1888__1_2_1_3_2_2_1->n41_a_wilde_2_1888__1_2_1_3_2_2_1_1 n41_a_wilde_2_1888__1_2_1_3_2_2_1_1->n41_a_wilde_2_1888__1_2_1_3_2_2_1_1_1 n41_a_wilde_2_1888__1_2_1_3_2_2_2->n41_a_wilde_2_1888__1_2_1_3_2_2_2_1 n41_a_wilde_2_1888__1_2_2->n41_a_wilde_2_1888__1_2_2_1 n41_a_wilde_2_1888__1_2_3_1 CONJ n41_a_wilde_2_1888__1_2_3->n41_a_wilde_2_1888__1_2_3_1 n41_a_wilde_2_1888__1_2_3_2 ILYR n41_a_wilde_2_1888__1_2_3->n41_a_wilde_2_1888__1_2_3_2 n41_a_wilde_2_1888__1_2_3_1->n41_a_wilde_2_1888__1_2_3_1_1 n41_a_wilde_2_1888__1_2_3_2_1 NP-SBJ n41_a_wilde_2_1888__1_2_3_2->n41_a_wilde_2_1888__1_2_3_2_1 n41_a_wilde_2_1888__1_2_3_2_2 VBD;__ n41_a_wilde_2_1888__1_2_3_2->n41_a_wilde_2_1888__1_2_3_2_2 n41_a_wilde_2_1888__1_2_3_2_3 NP-OB1 n41_a_wilde_2_1888__1_2_3_2->n41_a_wilde_2_1888__1_2_3_2_3 n41_a_wilde_2_1888__1_2_3_2_1_1 D n41_a_wilde_2_1888__1_2_3_2_1->n41_a_wilde_2_1888__1_2_3_2_1_1 n41_a_wilde_2_1888__1_2_3_2_1_2 N n41_a_wilde_2_1888__1_2_3_2_1->n41_a_wilde_2_1888__1_2_3_2_1_2 n41_a_wilde_2_1888__1_2_3_2_1_3 N n41_a_wilde_2_1888__1_2_3_2_1->n41_a_wilde_2_1888__1_2_3_2_1_3 n41_a_wilde_2_1888__1_2_3_2_1_1->n41_a_wilde_2_1888__1_2_3_2_1_1_1 n41_a_wilde_2_1888__1_2_3_2_1_2->n41_a_wilde_2_1888__1_2_3_2_1_2_1 n41_a_wilde_2_1888__1_2_3_2_1_3->n41_a_wilde_2_1888__1_2_3_2_1_3_1 n41_a_wilde_2_1888__1_2_3_2_2->n41_a_wilde_2_1888__1_2_3_2_2_1 n41_a_wilde_2_1888__1_2_3_2_3_1 N n41_a_wilde_2_1888__1_2_3_2_3->n41_a_wilde_2_1888__1_2_3_2_3_1 n41_a_wilde_2_1888__1_2_3_2_3_1->n41_a_wilde_2_1888__1_2_3_2_3_1_1 n41_a_wilde_2_1888__1_2_4->n41_a_wilde_2_1888__1_2_4_1 n41_a_wilde_2_1888__1_2_5_1 CONJ n41_a_wilde_2_1888__1_2_5->n41_a_wilde_2_1888__1_2_5_1 n41_a_wilde_2_1888__1_2_5_2 ILYR n41_a_wilde_2_1888__1_2_5->n41_a_wilde_2_1888__1_2_5_2 n41_a_wilde_2_1888__1_2_5_1->n41_a_wilde_2_1888__1_2_5_1_1 n41_a_wilde_2_1888__1_2_5_2_1 NP-SBJ n41_a_wilde_2_1888__1_2_5_2->n41_a_wilde_2_1888__1_2_5_2_1 n41_a_wilde_2_1888__1_2_5_2_2 VBD;__ n41_a_wilde_2_1888__1_2_5_2->n41_a_wilde_2_1888__1_2_5_2_2 n41_a_wilde_2_1888__1_2_5_2_3 PP-NIM n41_a_wilde_2_1888__1_2_5_2->n41_a_wilde_2_1888__1_2_5_2_3 n41_a_wilde_2_1888__1_2_5_2_4 PP-NIM n41_a_wilde_2_1888__1_2_5_2->n41_a_wilde_2_1888__1_2_5_2_4 n41_a_wilde_2_1888__1_2_5_2_1_1 D n41_a_wilde_2_1888__1_2_5_2_1->n41_a_wilde_2_1888__1_2_5_2_1_1 n41_a_wilde_2_1888__1_2_5_2_1_2 ADJP n41_a_wilde_2_1888__1_2_5_2_1->n41_a_wilde_2_1888__1_2_5_2_1_2 n41_a_wilde_2_1888__1_2_5_2_1_3 N n41_a_wilde_2_1888__1_2_5_2_1->n41_a_wilde_2_1888__1_2_5_2_1_3 n41_a_wilde_2_1888__1_2_5_2_1_1->n41_a_wilde_2_1888__1_2_5_2_1_1_1 n41_a_wilde_2_1888__1_2_5_2_1_2_1 ADJ n41_a_wilde_2_1888__1_2_5_2_1_2->n41_a_wilde_2_1888__1_2_5_2_1_2_1 n41_a_wilde_2_1888__1_2_5_2_1_2_1->n41_a_wilde_2_1888__1_2_5_2_1_2_1_1 n41_a_wilde_2_1888__1_2_5_2_1_3->n41_a_wilde_2_1888__1_2_5_2_1_3_1 n41_a_wilde_2_1888__1_2_5_2_2->n41_a_wilde_2_1888__1_2_5_2_2_1 n41_a_wilde_2_1888__1_2_5_2_3_1 P-ROLE n41_a_wilde_2_1888__1_2_5_2_3->n41_a_wilde_2_1888__1_2_5_2_3_1 n41_a_wilde_2_1888__1_2_5_2_3_2 NP n41_a_wilde_2_1888__1_2_5_2_3->n41_a_wilde_2_1888__1_2_5_2_3_2 n41_a_wilde_2_1888__1_2_5_2_3_1->n41_a_wilde_2_1888__1_2_5_2_3_1_1 n41_a_wilde_2_1888__1_2_5_2_3_2_1 PRO n41_a_wilde_2_1888__1_2_5_2_3_2->n41_a_wilde_2_1888__1_2_5_2_3_2_1 n41_a_wilde_2_1888__1_2_5_2_3_2_1->n41_a_wilde_2_1888__1_2_5_2_3_2_1_1 n41_a_wilde_2_1888__1_2_5_2_4_1 P-ROLE n41_a_wilde_2_1888__1_2_5_2_4->n41_a_wilde_2_1888__1_2_5_2_4_1 n41_a_wilde_2_1888__1_2_5_2_4_2 NP n41_a_wilde_2_1888__1_2_5_2_4->n41_a_wilde_2_1888__1_2_5_2_4_2 n41_a_wilde_2_1888__1_2_5_2_4_1->n41_a_wilde_2_1888__1_2_5_2_4_1_1 n41_a_wilde_2_1888__1_2_5_2_4_2_1 D n41_a_wilde_2_1888__1_2_5_2_4_2->n41_a_wilde_2_1888__1_2_5_2_4_2_1 n41_a_wilde_2_1888__1_2_5_2_4_2_2 ADJP n41_a_wilde_2_1888__1_2_5_2_4_2->n41_a_wilde_2_1888__1_2_5_2_4_2_2 n41_a_wilde_2_1888__1_2_5_2_4_2_3 N n41_a_wilde_2_1888__1_2_5_2_4_2->n41_a_wilde_2_1888__1_2_5_2_4_2_3 n41_a_wilde_2_1888__1_2_5_2_4_2_1->n41_a_wilde_2_1888__1_2_5_2_4_2_1_1 n41_a_wilde_2_1888__1_2_5_2_4_2_2_1 ADJ n41_a_wilde_2_1888__1_2_5_2_4_2_2->n41_a_wilde_2_1888__1_2_5_2_4_2_2_1 n41_a_wilde_2_1888__1_2_5_2_4_2_2_1->n41_a_wilde_2_1888__1_2_5_2_4_2_2_1_1 n41_a_wilde_2_1888__1_2_5_2_4_2_3->n41_a_wilde_2_1888__1_2_5_2_4_2_3_1 n41_a_wilde_2_1888__1_3->n41_a_wilde_2_1888__1_3_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (N Hail;{hail}))
                      (VBD;__ stopped;{stop})
                      (NP-OB1 (N dancing;{dancing})
                              (PP (P-ROLE over;{over})
                                  (NP (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                      (N head;{head})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N North;{north})
                                     (N Wind;{wind}))
                             (VBD;__ ceased;{cease})
                             (NP-OB1 (N roaring;{roar}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ delicious;{delicious}))
                                     (N perfume;{perfume}))
                             (VBD;__ came;{come})
                             (PP-NIM (P-ROLE to;{to})
                                     (NP;{GIANT} (PRO him;{he})))
                             (PP-NIM (P-ROLE through;{through})
                                     (NP (D the;{the})
                                         (ADJP (ADJ open;{open}))
                                         (N casement;{casement}))))))
          (PUNC .))
  (ID 41_a_wilde_2_1888))


%3 r_0041_0025__the_r_0041_0027__casement the casement r_0041_0026__open open r_0041_0025__the_r_0041_0027__casement->r_0041_0026__open [attrib] r_0041_0021__came came r_0041_0021__came->r_0041_0025__the_r_0041_0027__casement through [nim] r_0041_0018__a_r_0041_0020__perfume a perfume r_0041_0021__came->r_0041_0018__a_r_0041_0020__perfume [arg0] r_0041_0007__his his r_0041_0021__came->r_0041_0007__his to [nim] r_0041_0001__Then Then r_0041_0021__came->r_0041_0001__Then [nim] r_0041_0019__delicious delicious r_0041_0018__a_r_0041_0020__perfume->r_0041_0019__delicious [attrib] r_0041_0014__ceased ceased r_0041_0014__ceased->r_0041_0001__Then [nim] r_0041_0015__roaring roaring r_0041_0014__ceased->r_0041_0015__roaring [arg1] r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind the North Wind r_0041_0014__ceased->r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind [arg0] r_0041_0010__and_r_0041_0017__and and and r_0041_0010__and_r_0041_0017__and->r_0041_0021__came [conj3] r_0041_0010__and_r_0041_0017__and->r_0041_0014__ceased [conj2] r_0041_0004__stopped stopped r_0041_0010__and_r_0041_0017__and->r_0041_0004__stopped [conj1] r_0041_0004__stopped->r_0041_0001__Then [nim] r_0041_0005__dancing dancing r_0041_0004__stopped->r_0041_0005__dancing [arg1] r_0041_0002__the_r_0041_0003__Hail the Hail r_0041_0004__stopped->r_0041_0002__the_r_0041_0003__Hail [arg0] r_0041_0008__head head r_0041_0008__head->r_0041_0007__his [gen] r_0041_0005__dancing->r_0041_0008__head over 
arc(r_0041_0004__stopped,r_0041_0001__Then,nim).
arc(r_0041_0004__stopped,r_0041_0002__the_r_0041_0003__Hail,arg0).
arc(r_0041_0004__stopped,r_0041_0005__dancing,arg1).
arc(r_0041_0005__dancing,r_0041_0008__head,r_0041_0006__over).
arc(r_0041_0008__head,r_0041_0007__his,gen).
arc(r_0041_0010__and_r_0041_0017__and,r_0041_0004__stopped,conj1).
arc(r_0041_0010__and_r_0041_0017__and,r_0041_0014__ceased,conj2).
arc(r_0041_0010__and_r_0041_0017__and,r_0041_0021__came,conj3).
arc(r_0041_0014__ceased,r_0041_0001__Then,nim).
arc(r_0041_0014__ceased,r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind,arg0).
arc(r_0041_0014__ceased,r_0041_0015__roaring,arg1).
arc(r_0041_0018__a_r_0041_0020__perfume,r_0041_0019__delicious,attrib).
arc(r_0041_0021__came,r_0041_0001__Then,nim).
arc(r_0041_0021__came,r_0041_0007__his,r_0041_0022__to__nim).
arc(r_0041_0021__came,r_0041_0018__a_r_0041_0020__perfume,arg0).
arc(r_0041_0021__came,r_0041_0025__the_r_0041_0027__casement,r_0041_0024__through__nim).
arc(r_0041_0025__the_r_0041_0027__casement,r_0041_0026__open,attrib).


%3 r_0041_0004__stopped stopped r_0041_0001__Then Then r_0041_0004__stopped->r_0041_0001__Then [nim] r_0041_0002__the_r_0041_0003__Hail the Hail r_0041_0004__stopped->r_0041_0002__the_r_0041_0003__Hail [arg0] r_0041_0005__dancing dancing r_0041_0004__stopped->r_0041_0005__dancing [arg1] r_0041_0008__head head r_0041_0005__dancing->r_0041_0008__head over r_0041_0007__his his r_0041_0008__head->r_0041_0007__his [gen] r_0041_0010__and_r_0041_0017__and and and r_0041_0010__and_r_0041_0017__and->r_0041_0004__stopped [conj1] r_0041_0014__ceased ceased r_0041_0010__and_r_0041_0017__and->r_0041_0014__ceased [conj2] r_0041_0021__came came r_0041_0010__and_r_0041_0017__and->r_0041_0021__came [conj3] r_0041_0014__ceased->r_0041_0001__Then [nim] r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind the North Wind r_0041_0014__ceased->r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind [arg0] r_0041_0015__roaring roaring r_0041_0014__ceased->r_0041_0015__roaring [arg1] r_0041_0021__came->r_0041_0001__Then [nim] r_0041_0021__came->r_0041_0007__his to [nim] r_0041_0018__a_r_0041_0020__perfume a perfume r_0041_0021__came->r_0041_0018__a_r_0041_0020__perfume [arg0] r_0041_0025__the_r_0041_0027__casement the casement r_0041_0021__came->r_0041_0025__the_r_0041_0027__casement through [nim] r_0041_0019__delicious delicious r_0041_0018__a_r_0041_0020__perfume->r_0041_0019__delicious [attrib] r_0041_0026__open open r_0041_0025__the_r_0041_0027__casement->r_0041_0026__open [attrib] 
fof(formula,axiom,
    ? [R_0041_0001__THEN,R_0041_0002__THE_R_0041_0003__HAIL,R_0041_0007__HIS,R_0041_0008__HEAD,R_0041_0005__DANCING,R_0041_0004__STOPPED,R_0041_0011__THE_R_0041_0012__NORTH_R_0041_0013__WIND,R_0041_0015__ROARING,R_0041_0014__CEASED,R_0041_0019__DELICIOUS,R_0041_0018__A_R_0041_0020__PERFUME,R_0041_0026__OPEN,R_0041_0025__THE_R_0041_0027__CASEMENT,R_0041_0021__CAME,R_0041_0010__AND_R_0041_0017__AND] :
      ( r_0041_0001__Then(R_0041_0001__THEN)
      & r_0041_0002__the_r_0041_0003__Hail(R_0041_0002__THE_R_0041_0003__HAIL)
      & r_0041_0007__his(R_0041_0007__HIS)
      & r_0041_0011__the_r_0041_0012__North_r_0041_0013__Wind(R_0041_0011__THE_R_0041_0012__NORTH_R_0041_0013__WIND)
      & r_0041_0015__roaring(R_0041_0015__ROARING)
      & r_0041_0019__delicious(R_0041_0019__DELICIOUS)
      & r_0041_0026__open(R_0041_0026__OPEN)
      & r_0041_0010__and_r_0041_0017__and(R_0041_0010__AND_R_0041_0017__AND)
      & has_conj3(R_0041_0010__AND_R_0041_0017__AND,R_0041_0021__CAME)
      & r_0041_0021__came(R_0041_0021__CAME)
      & has_r_0041_0024__through__nim(R_0041_0021__CAME,R_0041_0025__THE_R_0041_0027__CASEMENT)
      & r_0041_0025__the_r_0041_0027__casement(R_0041_0025__THE_R_0041_0027__CASEMENT)
      & has_attrib(R_0041_0025__THE_R_0041_0027__CASEMENT,R_0041_0026__OPEN)
      & has_arg0(R_0041_0021__CAME,R_0041_0018__A_R_0041_0020__PERFUME)
      & r_0041_0018__a_r_0041_0020__perfume(R_0041_0018__A_R_0041_0020__PERFUME)
      & has_attrib(R_0041_0018__A_R_0041_0020__PERFUME,R_0041_0019__DELICIOUS)
      & has_r_0041_0022__to__nim(R_0041_0021__CAME,R_0041_0007__HIS)
      & has_nim(R_0041_0021__CAME,R_0041_0001__THEN)
      & has_conj2(R_0041_0010__AND_R_0041_0017__AND,R_0041_0014__CEASED)
      & r_0041_0014__ceased(R_0041_0014__CEASED)
      & has_arg1(R_0041_0014__CEASED,R_0041_0015__ROARING)
      & has_arg0(R_0041_0014__CEASED,R_0041_0011__THE_R_0041_0012__NORTH_R_0041_0013__WIND)
      & has_nim(R_0041_0014__CEASED,R_0041_0001__THEN)
      & has_conj1(R_0041_0010__AND_R_0041_0017__AND,R_0041_0004__STOPPED)
      & r_0041_0004__stopped(R_0041_0004__STOPPED)
      & has_arg1(R_0041_0004__STOPPED,R_0041_0005__DANCING)
      & r_0041_0005__dancing(R_0041_0005__DANCING)
      & has_r_0041_0006__over(R_0041_0005__DANCING,R_0041_0008__HEAD)
      & r_0041_0008__head(R_0041_0008__HEAD)
      & has_gen(R_0041_0008__HEAD,R_0041_0007__HIS)
      & has_arg0(R_0041_0004__STOPPED,R_0041_0002__THE_R_0041_0003__HAIL)
      & has_nim(R_0041_0004__STOPPED,R_0041_0001__THEN) ) ).