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_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] 
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_4 I n174_a_loosechange_6 resolved n174_a_loosechange_9 to n174_a_loosechange_11 help n174_a_loosechange_14 her n174_a_loosechange_16 . n174_a_loosechange_1 IP-MAT n174_a_loosechange_2 NP-SBJ n174_a_loosechange_1->n174_a_loosechange_2 n174_a_loosechange_5 VBD;__ n174_a_loosechange_1->n174_a_loosechange_5 n174_a_loosechange_7 IP-INF-OB1 n174_a_loosechange_1->n174_a_loosechange_7 n174_a_loosechange_15 PUNC n174_a_loosechange_1->n174_a_loosechange_15 n174_a_loosechange_3 PRO n174_a_loosechange_2->n174_a_loosechange_3 n174_a_loosechange_3->n174_a_loosechange_4 n174_a_loosechange_5->n174_a_loosechange_6 n174_a_loosechange_8 TO n174_a_loosechange_7->n174_a_loosechange_8 n174_a_loosechange_10 VB;__ n174_a_loosechange_7->n174_a_loosechange_10 n174_a_loosechange_12 NP-OB1 n174_a_loosechange_7->n174_a_loosechange_12 n174_a_loosechange_8->n174_a_loosechange_9 n174_a_loosechange_10->n174_a_loosechange_11 n174_a_loosechange_13 PRO n174_a_loosechange_12->n174_a_loosechange_13 n174_a_loosechange_13->n174_a_loosechange_14 n174_a_loosechange_15->n174_a_loosechange_16 
( (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))