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_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] 
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_3 <ldquo> n128_a_joyce_1914_7 He n128_a_joyce_1914_9 knew n128_a_joyce_1914_12 then n128_a_joyce_1914_14 ? n128_a_joyce_1914_16 <rdquo> n128_a_joyce_1914_1 CP-QUE-MAT n128_a_joyce_1914_2 PULQ n128_a_joyce_1914_1->n128_a_joyce_1914_2 n128_a_joyce_1914_4 IP-SUB n128_a_joyce_1914_1->n128_a_joyce_1914_4 n128_a_joyce_1914_13 PUNC n128_a_joyce_1914_1->n128_a_joyce_1914_13 n128_a_joyce_1914_15 PURQ n128_a_joyce_1914_1->n128_a_joyce_1914_15 n128_a_joyce_1914_2->n128_a_joyce_1914_3 n128_a_joyce_1914_5 NP-SBJ n128_a_joyce_1914_4->n128_a_joyce_1914_5 n128_a_joyce_1914_8 VBD;_I_ n128_a_joyce_1914_4->n128_a_joyce_1914_8 n128_a_joyce_1914_10 ADVP-NIM n128_a_joyce_1914_4->n128_a_joyce_1914_10 n128_a_joyce_1914_6 PRO n128_a_joyce_1914_5->n128_a_joyce_1914_6 n128_a_joyce_1914_6->n128_a_joyce_1914_7 n128_a_joyce_1914_8->n128_a_joyce_1914_9 n128_a_joyce_1914_11 ADV n128_a_joyce_1914_10->n128_a_joyce_1914_11 n128_a_joyce_1914_11->n128_a_joyce_1914_12 n128_a_joyce_1914_13->n128_a_joyce_1914_14 n128_a_joyce_1914_15->n128_a_joyce_1914_16 
( (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))