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_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] 
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_4 Now n7_a_joyce_1914_7 I n7_a_joyce_1914_9 knew n7_a_joyce_1914_14 they n7_a_joyce_1914_16 were n7_a_joyce_1914_19 true n7_a_joyce_1914_21 . n7_a_joyce_1914_1 IP-MAT n7_a_joyce_1914_2 ADVP-NIM n7_a_joyce_1914_1->n7_a_joyce_1914_2 n7_a_joyce_1914_5 NP-SBJ n7_a_joyce_1914_1->n7_a_joyce_1914_5 n7_a_joyce_1914_8 VBD;_Tf_ n7_a_joyce_1914_1->n7_a_joyce_1914_8 n7_a_joyce_1914_10 CP-THT-OB1 n7_a_joyce_1914_1->n7_a_joyce_1914_10 n7_a_joyce_1914_20 PUNC n7_a_joyce_1914_1->n7_a_joyce_1914_20 n7_a_joyce_1914_3 ADV n7_a_joyce_1914_2->n7_a_joyce_1914_3 n7_a_joyce_1914_3->n7_a_joyce_1914_4 n7_a_joyce_1914_6 PRO n7_a_joyce_1914_5->n7_a_joyce_1914_6 n7_a_joyce_1914_6->n7_a_joyce_1914_7 n7_a_joyce_1914_8->n7_a_joyce_1914_9 n7_a_joyce_1914_11 IP-SUB n7_a_joyce_1914_10->n7_a_joyce_1914_11 n7_a_joyce_1914_12 NP-SBJ n7_a_joyce_1914_11->n7_a_joyce_1914_12 n7_a_joyce_1914_15 BED;_La_ n7_a_joyce_1914_11->n7_a_joyce_1914_15 n7_a_joyce_1914_17 ADJP-PRD n7_a_joyce_1914_11->n7_a_joyce_1914_17 n7_a_joyce_1914_13 PRO n7_a_joyce_1914_12->n7_a_joyce_1914_13 n7_a_joyce_1914_13->n7_a_joyce_1914_14 n7_a_joyce_1914_15->n7_a_joyce_1914_16 n7_a_joyce_1914_18 ADJ n7_a_joyce_1914_17->n7_a_joyce_1914_18 n7_a_joyce_1914_18->n7_a_joyce_1914_19 n7_a_joyce_1914_20->n7_a_joyce_1914_21 
( (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))