Context                Previous, Next                Top


18_a_lob_n02
She was trying to sort things out in her mind.

%3 r_0018_0002__was was r_0018_0003__trying trying r_0018_0002__was->r_0018_0003__trying [scope] r_0018_0001__She She r_0018_0003__trying->r_0018_0001__She [arg0] r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out to sort out r_0018_0003__trying->r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out [arg1] r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0001__She [arg0] r_0018_0006__things things r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0006__things [arg1] r_0018_0010__mind mind r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0010__mind in [nim] r_0018_0010__mind->r_0018_0001__She [gen] 
arc(r_0018_0002__was, r_0018_0003__trying, scope).
arc(r_0018_0003__trying, r_0018_0001__She, arg0).
arc(r_0018_0003__trying, r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out, arg1).
arc(r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out, r_0018_0001__She, arg0).
arc(r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out, r_0018_0006__things, arg1).
arc(r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out, r_0018_0010__mind, r_0018_0008__in_nim23).
arc(r_0018_0010__mind, r_0018_0001__She, gen).


%3 r_0018_0010__mind mind r_0018_0001__She She r_0018_0010__mind->r_0018_0001__She [gen] r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out to sort out r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0010__mind in [nim] r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0001__She [arg0] r_0018_0006__things things r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out->r_0018_0006__things [arg1] r_0018_0002__was_r_0018_0003__trying was trying r_0018_0002__was_r_0018_0003__trying->r_0018_0001__She [arg0] r_0018_0002__was_r_0018_0003__trying->r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out [arg1] 
fof(formula,axiom,
    ? [R_0018_0001__SHE,R_0018_0006__THINGS,R_0018_0010__MIND,R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0002__WAS_R_0018_0003__TRYING] :
      ( r_0018_0001__She(R_0018_0001__SHE)
      & r_0018_0006__things(R_0018_0006__THINGS)
      & r_0018_0002__was_r_0018_0003__trying(R_0018_0002__WAS_R_0018_0003__TRYING)
      & has_arg1(R_0018_0002__WAS_R_0018_0003__TRYING,R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT)
      & r_0018_0004__to_r_0018_0005__sort_r_0018_0007__out(R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT)
      & has_r_0018_0008__in_nim23(R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0010__MIND)
      & r_0018_0010__mind(R_0018_0010__MIND)
      & has_gen(R_0018_0010__MIND,R_0018_0001__SHE)
      & has_arg1(R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0006__THINGS)
      & has_arg0(R_0018_0004__TO_R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0001__SHE)
      & has_arg0(R_0018_0002__WAS_R_0018_0003__TRYING,R_0018_0001__SHE) ) ).


n18_a_lob_n02 n18_a_lob_n02__1_1_1_1 She n18_a_lob_n02__1_2_1 was n18_a_lob_n02__1_3_1_1 trying n18_a_lob_n02__1_3_2_1_1 to n18_a_lob_n02__1_3_2_2_1 sort n18_a_lob_n02__1_3_2_3_1_1 things n18_a_lob_n02__1_3_2_4_1 out n18_a_lob_n02__1_3_2_5_1_1 in n18_a_lob_n02__1_3_2_5_2_1_1_1 her n18_a_lob_n02__1_3_2_5_2_2_1 mind n18_a_lob_n02__1_4_1 . n18_a_lob_n02__1 IP-MAT n18_a_lob_n02__1_1 NP-SBJ n18_a_lob_n02__1->n18_a_lob_n02__1_1 n18_a_lob_n02__1_2 BED;_cat_Vg_ n18_a_lob_n02__1->n18_a_lob_n02__1_2 n18_a_lob_n02__1_3 IP-PPL-CAT n18_a_lob_n02__1->n18_a_lob_n02__1_3 n18_a_lob_n02__1_4 PUNC n18_a_lob_n02__1->n18_a_lob_n02__1_4 n18_a_lob_n02__1_1_1 PRO n18_a_lob_n02__1_1->n18_a_lob_n02__1_1_1 n18_a_lob_n02__1_1_1->n18_a_lob_n02__1_1_1_1 n18_a_lob_n02__1_2->n18_a_lob_n02__1_2_1 n18_a_lob_n02__1_3_1 VAG;_Tt_ n18_a_lob_n02__1_3->n18_a_lob_n02__1_3_1 n18_a_lob_n02__1_3_2 IP-INF-OB1 n18_a_lob_n02__1_3->n18_a_lob_n02__1_3_2 n18_a_lob_n02__1_3_1->n18_a_lob_n02__1_3_1_1 n18_a_lob_n02__1_3_2_1 TO n18_a_lob_n02__1_3_2->n18_a_lob_n02__1_3_2_1 n18_a_lob_n02__1_3_2_2 VB;_phr_Vn<=>p_ n18_a_lob_n02__1_3_2->n18_a_lob_n02__1_3_2_2 n18_a_lob_n02__1_3_2_3 NP-OB1 n18_a_lob_n02__1_3_2->n18_a_lob_n02__1_3_2_3 n18_a_lob_n02__1_3_2_4 RP n18_a_lob_n02__1_3_2->n18_a_lob_n02__1_3_2_4 n18_a_lob_n02__1_3_2_5 PP-NIM n18_a_lob_n02__1_3_2->n18_a_lob_n02__1_3_2_5 n18_a_lob_n02__1_3_2_1->n18_a_lob_n02__1_3_2_1_1 n18_a_lob_n02__1_3_2_2->n18_a_lob_n02__1_3_2_2_1 n18_a_lob_n02__1_3_2_3_1 NS n18_a_lob_n02__1_3_2_3->n18_a_lob_n02__1_3_2_3_1 n18_a_lob_n02__1_3_2_3_1->n18_a_lob_n02__1_3_2_3_1_1 n18_a_lob_n02__1_3_2_4->n18_a_lob_n02__1_3_2_4_1 n18_a_lob_n02__1_3_2_5_1 P-ROLE n18_a_lob_n02__1_3_2_5->n18_a_lob_n02__1_3_2_5_1 n18_a_lob_n02__1_3_2_5_2 NP n18_a_lob_n02__1_3_2_5->n18_a_lob_n02__1_3_2_5_2 n18_a_lob_n02__1_3_2_5_1->n18_a_lob_n02__1_3_2_5_1_1 n18_a_lob_n02__1_3_2_5_2_1 NP-GEN n18_a_lob_n02__1_3_2_5_2->n18_a_lob_n02__1_3_2_5_2_1 n18_a_lob_n02__1_3_2_5_2_2 N n18_a_lob_n02__1_3_2_5_2->n18_a_lob_n02__1_3_2_5_2_2 n18_a_lob_n02__1_3_2_5_2_1_1 PRO;_genm_ n18_a_lob_n02__1_3_2_5_2_1->n18_a_lob_n02__1_3_2_5_2_1_1 n18_a_lob_n02__1_3_2_5_2_1_1->n18_a_lob_n02__1_3_2_5_2_1_1_1 n18_a_lob_n02__1_3_2_5_2_2->n18_a_lob_n02__1_3_2_5_2_2_1 n18_a_lob_n02__1_4->n18_a_lob_n02__1_4_1 
( (IP-MAT (NP-SBJ;{BERYL} (PRO She;{she}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Tt_ trying;{try})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_phr_Vn<=>p_ sort;{sort[out]})
                                  (NP-OB1 (NS things;{thing}))
                                  (RP out;{out})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                              (N mind;{mind})))))
          (PUNC .))
  (ID 18_a_lob_n02))