Context                Previous, Next                Top


18_a_goodwill
Because people want to work.

%3 r_0018_0001__Because Because r_0018_0003__want want r_0018_0001__Because->r_0018_0003__want [restriction] z_000_18_a_goodwill_1 r_0018_0001__Because->z_000_18_a_goodwill_1 [scope] r_0018_0002__people people r_0018_0003__want->r_0018_0002__people [arg0] r_0018_0004__to_r_0018_0005__work to work r_0018_0003__want->r_0018_0004__to_r_0018_0005__work [arg1] r_0018_0004__to_r_0018_0005__work->r_0018_0002__people [arg0] 
arc(r_0018_0001__Because, r_0018_0003__want, restriction).
arc(r_0018_0001__Because, z_000_18_a_goodwill_1, scope).
arc(r_0018_0003__want, r_0018_0002__people, arg0).
arc(r_0018_0003__want, r_0018_0004__to_r_0018_0005__work, arg1).
arc(r_0018_0004__to_r_0018_0005__work, r_0018_0002__people, arg0).


%3 r_0018_0004__to_r_0018_0005__work to work r_0018_0002__people people r_0018_0004__to_r_0018_0005__work->r_0018_0002__people [arg0] r_0018_0003__want want r_0018_0003__want->r_0018_0004__to_r_0018_0005__work [arg1] r_0018_0003__want->r_0018_0002__people [arg0] r_0018_0001__Because Because r_0018_0001__Because->r_0018_0003__want [conj1] z_000_18_a_goodwill_1 r_0018_0001__Because->z_000_18_a_goodwill_1 [conj2] 
fof(formula,axiom,
    ? [R_18_1_BECAUSE,R_18_3_WANT,R_18_4_TO_WORK,R_18_2_PEOPLE,Z_18_A_GOODWILL_1] :
      ( people(R_18_2_PEOPLE)
      & because(R_18_1_BECAUSE)
      & conj1(R_18_1_BECAUSE,R_18_3_WANT)
      & want(R_18_3_WANT,R_18_2_PEOPLE,R_18_4_TO_WORK)
      & to_work(R_18_4_TO_WORK,R_18_2_PEOPLE)
      & conj2(R_18_1_BECAUSE,Z_18_A_GOODWILL_1) ) ).


n18_a_goodwill n18_a_goodwill__1_1_1_1 Because n18_a_goodwill__1_1_2_1_1_1 people n18_a_goodwill__1_1_2_2_1 want n18_a_goodwill__1_1_2_3_1_1 to n18_a_goodwill__1_1_2_3_2_1 work n18_a_goodwill__1_2_1 . n18_a_goodwill__1 FRAG n18_a_goodwill__1_1 PP-SCON n18_a_goodwill__1->n18_a_goodwill__1_1 n18_a_goodwill__1_2 PUNC n18_a_goodwill__1->n18_a_goodwill__1_2 n18_a_goodwill__1_1_1 P-CONN n18_a_goodwill__1_1->n18_a_goodwill__1_1_1 n18_a_goodwill__1_1_2 IP-ADV n18_a_goodwill__1_1->n18_a_goodwill__1_1_2 n18_a_goodwill__1_1_1->n18_a_goodwill__1_1_1_1 n18_a_goodwill__1_1_2_1 NP-SBJ n18_a_goodwill__1_1_2->n18_a_goodwill__1_1_2_1 n18_a_goodwill__1_1_2_2 VBP;_Tt_ n18_a_goodwill__1_1_2->n18_a_goodwill__1_1_2_2 n18_a_goodwill__1_1_2_3 IP-INF-OB1 n18_a_goodwill__1_1_2->n18_a_goodwill__1_1_2_3 n18_a_goodwill__1_1_2_1_1 NS n18_a_goodwill__1_1_2_1->n18_a_goodwill__1_1_2_1_1 n18_a_goodwill__1_1_2_1_1->n18_a_goodwill__1_1_2_1_1_1 n18_a_goodwill__1_1_2_2->n18_a_goodwill__1_1_2_2_1 n18_a_goodwill__1_1_2_3_1 TO n18_a_goodwill__1_1_2_3->n18_a_goodwill__1_1_2_3_1 n18_a_goodwill__1_1_2_3_2 VB;_I_ n18_a_goodwill__1_1_2_3->n18_a_goodwill__1_1_2_3_2 n18_a_goodwill__1_1_2_3_1->n18_a_goodwill__1_1_2_3_1_1 n18_a_goodwill__1_1_2_3_2->n18_a_goodwill__1_1_2_3_2_1 n18_a_goodwill__1_2->n18_a_goodwill__1_2_1 
( (FRAG (PP-SCON (P-CONN Because;{because})
                 (IP-ADV (NP-SBJ (NS people;{people}))
                         (VBP;_Tt_ want;{want})
                         (IP-INF-OB1 (TO to;{to})
                                     (VB;_I_ work;{work}))))
        (PUNC .))
  (ID 18_a_goodwill))