Context                Previous, Next                Top


127_a_joyce_1914
“He knew then?”

n127_a_joyce_1914 n127_a_joyce_1914__1_1_1 <ldquo> n127_a_joyce_1914__1_2_1_1_1 He n127_a_joyce_1914__1_2_2_1 knew n127_a_joyce_1914__1_2_3_1_1 then n127_a_joyce_1914__1_3_1 ? n127_a_joyce_1914__1_4_1 <rdquo> n127_a_joyce_1914__1 CP-QUE-MAT n127_a_joyce_1914__1_1 PULQ n127_a_joyce_1914__1->n127_a_joyce_1914__1_1 n127_a_joyce_1914__1_2 IP-SUB n127_a_joyce_1914__1->n127_a_joyce_1914__1_2 n127_a_joyce_1914__1_3 PUNC n127_a_joyce_1914__1->n127_a_joyce_1914__1_3 n127_a_joyce_1914__1_4 PURQ n127_a_joyce_1914__1->n127_a_joyce_1914__1_4 n127_a_joyce_1914__1_1->n127_a_joyce_1914__1_1_1 n127_a_joyce_1914__1_2_1 NP-SBJ n127_a_joyce_1914__1_2->n127_a_joyce_1914__1_2_1 n127_a_joyce_1914__1_2_2 VBD;_I_ n127_a_joyce_1914__1_2->n127_a_joyce_1914__1_2_2 n127_a_joyce_1914__1_2_3 ADVP-NIM n127_a_joyce_1914__1_2->n127_a_joyce_1914__1_2_3 n127_a_joyce_1914__1_2_1_1 PRO n127_a_joyce_1914__1_2_1->n127_a_joyce_1914__1_2_1_1 n127_a_joyce_1914__1_2_1_1->n127_a_joyce_1914__1_2_1_1_1 n127_a_joyce_1914__1_2_2->n127_a_joyce_1914__1_2_2_1 n127_a_joyce_1914__1_2_3_1 ADV n127_a_joyce_1914__1_2_3->n127_a_joyce_1914__1_2_3_1 n127_a_joyce_1914__1_2_3_1->n127_a_joyce_1914__1_2_3_1_1 n127_a_joyce_1914__1_3->n127_a_joyce_1914__1_3_1 n127_a_joyce_1914__1_4->n127_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 127_a_joyce_1914))


%3 r_0127_0003__knew knew r_0127_0004__then then r_0127_0003__knew->r_0127_0004__then [nim] r_0127_0002__He He r_0127_0003__knew->r_0127_0002__He [arg0] 
arc(r_0127_0003__knew,r_0127_0002__He,arg0).
arc(r_0127_0003__knew,r_0127_0004__then,nim).


%3 r_0127_0003__knew knew r_0127_0002__He He r_0127_0003__knew->r_0127_0002__He [arg0] r_0127_0004__then then r_0127_0003__knew->r_0127_0004__then [nim] 
fof(formula,axiom,
    ? [R_0127_0002__HE,R_0127_0004__THEN,R_0127_0003__KNEW] :
      ( r_0127_0002__He(R_0127_0002__HE)
      & r_0127_0004__then(R_0127_0004__THEN)
      & r_0127_0003__knew(R_0127_0003__KNEW)
      & has_nim(R_0127_0003__KNEW,R_0127_0004__THEN)
      & has_arg0(R_0127_0003__KNEW,R_0127_0002__HE) ) ).