Context                Previous, Next                Top


7_a_joyce_1914
Now I knew they were true.

%3 r_0007_0003__knew knew r_0007_0001__Now Now r_0007_0003__knew->r_0007_0001__Now [nim] r_0007_0002__I I r_0007_0003__knew->r_0007_0002__I [arg0] r_0007_0005__were were r_0007_0003__knew->r_0007_0005__were [arg1] r_0007_0004__they they r_0007_0005__were->r_0007_0004__they [arg0] r_0007_0006__true true r_0007_0005__were->r_0007_0006__true [prd] 
arc(r_0007_0003__knew, r_0007_0001__Now, nim2).
arc(r_0007_0003__knew, r_0007_0002__I, arg0).
arc(r_0007_0003__knew, r_0007_0005__were, arg1).
arc(r_0007_0005__were, r_0007_0004__they, arg0).
arc(r_0007_0005__were, r_0007_0006__true, prd).


%3 r_0007_0005__were were r_0007_0006__true true r_0007_0005__were->r_0007_0006__true [prd] r_0007_0004__they they r_0007_0005__were->r_0007_0004__they [arg0] r_0007_0003__knew knew r_0007_0003__knew->r_0007_0005__were [arg1] r_0007_0002__I I r_0007_0003__knew->r_0007_0002__I [arg0] r_0007_0001__Now Now r_0007_0003__knew->r_0007_0001__Now [nim] 
fof(formula,axiom,
    ? [R_7_3_KNEW,R_7_2_I,R_7_5_WERE,R_7_4_THEY,R_7_6_TRUE,R_7_1_NOW] :
      ( i(R_7_2_I)
      & they(R_7_4_THEY)
      & true(R_7_6_TRUE)
      & now(R_7_1_NOW)
      & knew(R_7_3_KNEW,R_7_2_I,R_7_5_WERE)
      & were(R_7_5_WERE,R_7_4_THEY,R_7_6_TRUE)
      & nim2(R_7_3_KNEW,R_7_1_NOW) ) ).


n7_a_joyce_1914 n7_a_joyce_1914__1_1_1_1 Now n7_a_joyce_1914__1_2_1_1 I n7_a_joyce_1914__1_3_1 knew n7_a_joyce_1914__1_4_1_1_1_1 they n7_a_joyce_1914__1_4_1_2_1 were n7_a_joyce_1914__1_4_1_3_1_1 true n7_a_joyce_1914__1_5_1 . n7_a_joyce_1914__1 IP-MAT n7_a_joyce_1914__1_1 ADVP-NIM n7_a_joyce_1914__1->n7_a_joyce_1914__1_1 n7_a_joyce_1914__1_2 NP-SBJ n7_a_joyce_1914__1->n7_a_joyce_1914__1_2 n7_a_joyce_1914__1_3 VBD;_Tf_ n7_a_joyce_1914__1->n7_a_joyce_1914__1_3 n7_a_joyce_1914__1_4 CP-THT-OB1 n7_a_joyce_1914__1->n7_a_joyce_1914__1_4 n7_a_joyce_1914__1_5 PUNC n7_a_joyce_1914__1->n7_a_joyce_1914__1_5 n7_a_joyce_1914__1_1_1 ADV n7_a_joyce_1914__1_1->n7_a_joyce_1914__1_1_1 n7_a_joyce_1914__1_1_1->n7_a_joyce_1914__1_1_1_1 n7_a_joyce_1914__1_2_1 PRO n7_a_joyce_1914__1_2->n7_a_joyce_1914__1_2_1 n7_a_joyce_1914__1_2_1->n7_a_joyce_1914__1_2_1_1 n7_a_joyce_1914__1_3->n7_a_joyce_1914__1_3_1 n7_a_joyce_1914__1_4_1 IP-SUB n7_a_joyce_1914__1_4->n7_a_joyce_1914__1_4_1 n7_a_joyce_1914__1_4_1_1 NP-SBJ n7_a_joyce_1914__1_4_1->n7_a_joyce_1914__1_4_1_1 n7_a_joyce_1914__1_4_1_2 BED;_La_ n7_a_joyce_1914__1_4_1->n7_a_joyce_1914__1_4_1_2 n7_a_joyce_1914__1_4_1_3 ADJP-PRD n7_a_joyce_1914__1_4_1->n7_a_joyce_1914__1_4_1_3 n7_a_joyce_1914__1_4_1_1_1 PRO n7_a_joyce_1914__1_4_1_1->n7_a_joyce_1914__1_4_1_1_1 n7_a_joyce_1914__1_4_1_1_1->n7_a_joyce_1914__1_4_1_1_1_1 n7_a_joyce_1914__1_4_1_2->n7_a_joyce_1914__1_4_1_2_1 n7_a_joyce_1914__1_4_1_3_1 ADJ n7_a_joyce_1914__1_4_1_3->n7_a_joyce_1914__1_4_1_3_1 n7_a_joyce_1914__1_4_1_3_1->n7_a_joyce_1914__1_4_1_3_1_1 n7_a_joyce_1914__1_5->n7_a_joyce_1914__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tf_ knew;{know})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{WORDS} (PRO they;{they}))
                              (BED;_La_ were;{be})
                              (ADJP-PRD (ADJ true;{true}))))
          (PUNC .))
  (ID 7_a_joyce_1914))