Context                Previous, Next                Top


7_a_joyce_1914
Now I knew they were true.

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))


%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] 
arc(r_0007_0003__knew,r_0007_0001__Now,nim).
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_0007_0001__NOW,R_0007_0002__I,R_0007_0004__THEY,R_0007_0006__TRUE,R_0007_0005__WERE,R_0007_0003__KNEW] :
      ( r_0007_0001__Now(R_0007_0001__NOW)
      & r_0007_0002__I(R_0007_0002__I)
      & r_0007_0004__they(R_0007_0004__THEY)
      & r_0007_0006__true(R_0007_0006__TRUE)
      & r_0007_0003__knew(R_0007_0003__KNEW)
      & has_arg1(R_0007_0003__KNEW,R_0007_0005__WERE)
      & r_0007_0005__were(R_0007_0005__WERE)
      & has_prd(R_0007_0005__WERE,R_0007_0006__TRUE)
      & has_arg0(R_0007_0005__WERE,R_0007_0004__THEY)
      & has_arg0(R_0007_0003__KNEW,R_0007_0002__I)
      & has_nim(R_0007_0003__KNEW,R_0007_0001__NOW) ) ).