Context                Previous, Next                Top


128_a_joyce_1914
“He knew then?”

%3 r_0128_0003__knew knew r_0128_0002__He He r_0128_0003__knew->r_0128_0002__He [arg0] r_0128_0004__then then r_0128_0003__knew->r_0128_0004__then [nim] 
arc(r_0128_0003__knew, r_0128_0002__He, arg0).
arc(r_0128_0003__knew, r_0128_0004__then, nim10).


%3 r_0128_0003__knew knew r_0128_0004__then then r_0128_0003__knew->r_0128_0004__then [nim] r_0128_0002__He He r_0128_0003__knew->r_0128_0002__He [arg0] 
fof(formula,axiom,
    ? [R_128_3_KNEW,R_128_2_HE,R_128_4_THEN] :
      ( he(R_128_2_HE)
      & then(R_128_4_THEN)
      & knew(R_128_3_KNEW,R_128_2_HE)
      & nim10(R_128_3_KNEW,R_128_4_THEN) ) ).


n128_a_joyce_1914 n128_a_joyce_1914__1_1_1 <ldquo> n128_a_joyce_1914__1_2_1_1_1 He n128_a_joyce_1914__1_2_2_1 knew n128_a_joyce_1914__1_2_3_1_1 then n128_a_joyce_1914__1_3_1 ? n128_a_joyce_1914__1_4_1 <rdquo> n128_a_joyce_1914__1 CP-QUE-MAT n128_a_joyce_1914__1_1 PULQ n128_a_joyce_1914__1->n128_a_joyce_1914__1_1 n128_a_joyce_1914__1_2 IP-SUB n128_a_joyce_1914__1->n128_a_joyce_1914__1_2 n128_a_joyce_1914__1_3 PUNC n128_a_joyce_1914__1->n128_a_joyce_1914__1_3 n128_a_joyce_1914__1_4 PURQ n128_a_joyce_1914__1->n128_a_joyce_1914__1_4 n128_a_joyce_1914__1_1->n128_a_joyce_1914__1_1_1 n128_a_joyce_1914__1_2_1 NP-SBJ n128_a_joyce_1914__1_2->n128_a_joyce_1914__1_2_1 n128_a_joyce_1914__1_2_2 VBD;_I_ n128_a_joyce_1914__1_2->n128_a_joyce_1914__1_2_2 n128_a_joyce_1914__1_2_3 ADVP-NIM n128_a_joyce_1914__1_2->n128_a_joyce_1914__1_2_3 n128_a_joyce_1914__1_2_1_1 PRO n128_a_joyce_1914__1_2_1->n128_a_joyce_1914__1_2_1_1 n128_a_joyce_1914__1_2_1_1->n128_a_joyce_1914__1_2_1_1_1 n128_a_joyce_1914__1_2_2->n128_a_joyce_1914__1_2_2_1 n128_a_joyce_1914__1_2_3_1 ADV n128_a_joyce_1914__1_2_3->n128_a_joyce_1914__1_2_3_1 n128_a_joyce_1914__1_2_3_1->n128_a_joyce_1914__1_2_3_1_1 n128_a_joyce_1914__1_3->n128_a_joyce_1914__1_3_1 n128_a_joyce_1914__1_4->n128_a_joyce_1914__1_4_1 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (NP-SBJ;{PRIEST} (PRO He;{he}))
                      (VBD;_I_ knew;{know})
                      (ADVP-NIM (ADV then;{then})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 128_a_joyce_1914))