Context                Previous, Next                Top


174_a_loosechange
I resolved to help her.

%3 r_0174_0002__resolved resolved r_0174_0001__I I r_0174_0002__resolved->r_0174_0001__I [arg0] r_0174_0003__to_r_0174_0004__help to help r_0174_0002__resolved->r_0174_0003__to_r_0174_0004__help [arg1] r_0174_0003__to_r_0174_0004__help->r_0174_0001__I [arg0] r_0174_0005__her her r_0174_0003__to_r_0174_0004__help->r_0174_0005__her [arg1] 
arc(r_0174_0002__resolved, r_0174_0001__I, arg0).
arc(r_0174_0002__resolved, r_0174_0003__to_r_0174_0004__help, arg1).
arc(r_0174_0003__to_r_0174_0004__help, r_0174_0001__I, arg0).
arc(r_0174_0003__to_r_0174_0004__help, r_0174_0005__her, arg1).


%3 r_0174_0003__to_r_0174_0004__help to help r_0174_0005__her her r_0174_0003__to_r_0174_0004__help->r_0174_0005__her [arg1] r_0174_0001__I I r_0174_0003__to_r_0174_0004__help->r_0174_0001__I [arg0] r_0174_0002__resolved resolved r_0174_0002__resolved->r_0174_0003__to_r_0174_0004__help [arg1] r_0174_0002__resolved->r_0174_0001__I [arg0] 
fof(formula,axiom,
    ? [R_174_2_RESOLVED,R_174_3_TO_HELP,R_174_1_I,R_174_5_HER] :
      ( i(R_174_1_I)
      & her(R_174_5_HER)
      & resolved(R_174_2_RESOLVED,R_174_1_I,R_174_3_TO_HELP)
      & to_help(R_174_3_TO_HELP,R_174_1_I,R_174_5_HER) ) ).


n174_a_loosechange n174_a_loosechange__1_1_1_1 I n174_a_loosechange__1_2_1 resolved n174_a_loosechange__1_3_1_1 to n174_a_loosechange__1_3_2_1 help n174_a_loosechange__1_3_3_1_1 her n174_a_loosechange__1_4_1 . n174_a_loosechange__1 IP-MAT n174_a_loosechange__1_1 NP-SBJ n174_a_loosechange__1->n174_a_loosechange__1_1 n174_a_loosechange__1_2 VBD;__ n174_a_loosechange__1->n174_a_loosechange__1_2 n174_a_loosechange__1_3 IP-INF-OB1 n174_a_loosechange__1->n174_a_loosechange__1_3 n174_a_loosechange__1_4 PUNC n174_a_loosechange__1->n174_a_loosechange__1_4 n174_a_loosechange__1_1_1 PRO n174_a_loosechange__1_1->n174_a_loosechange__1_1_1 n174_a_loosechange__1_1_1->n174_a_loosechange__1_1_1_1 n174_a_loosechange__1_2->n174_a_loosechange__1_2_1 n174_a_loosechange__1_3_1 TO n174_a_loosechange__1_3->n174_a_loosechange__1_3_1 n174_a_loosechange__1_3_2 VB;__ n174_a_loosechange__1_3->n174_a_loosechange__1_3_2 n174_a_loosechange__1_3_3 NP-OB1 n174_a_loosechange__1_3->n174_a_loosechange__1_3_3 n174_a_loosechange__1_3_1->n174_a_loosechange__1_3_1_1 n174_a_loosechange__1_3_2->n174_a_loosechange__1_3_2_1 n174_a_loosechange__1_3_3_1 PRO n174_a_loosechange__1_3_3->n174_a_loosechange__1_3_3_1 n174_a_loosechange__1_3_3_1->n174_a_loosechange__1_3_3_1_1 n174_a_loosechange__1_4->n174_a_loosechange__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ resolved;{resolve})
          (IP-INF-OB1 (TO to;{to})
                      (VB;__ help;{help})
                      (NP-OB1;{LAYLOR} (PRO her;{her})))
          (PUNC .))
  (ID 174_a_loosechange))