Context                Previous, Next                Top


154_a_stuck_japan
“Is that all you have?” I thought.

%3 r_0154_0002__Is Is r_0154_0003__that that r_0154_0002__Is->r_0154_0003__that [arg0] z_000_154_a_stuck_japan_12 r_0154_0002__Is->z_000_154_a_stuck_japan_12 [prd] r_0154_0004__all_quant all [quant] r_0154_0004__all_quant->r_0154_0002__Is [scope] r_0154_0004__all_quant->z_000_154_a_stuck_japan_12 [restriction] r_0154_0006__have have r_0154_0006__have->z_000_154_a_stuck_japan_12 [arg1] r_0154_0005__you you r_0154_0006__have->r_0154_0005__you [arg0] r_0154_0010__thought thought r_0154_0009__I I r_0154_0010__thought->r_0154_0009__I [arg0] utterance_154_a_stuck_japan_4 [utterance] r_0154_0010__thought->utterance_154_a_stuck_japan_4 [arg1] utterance_154_a_stuck_japan_4->r_0154_0004__all_quant [part1] 
arc(r_0154_0002__Is, r_0154_0003__that, arg0).
arc(r_0154_0002__Is, z_000_154_a_stuck_japan_12, prd).
arc(r_0154_0004__all_quant, r_0154_0002__Is, scope).
arc(r_0154_0004__all_quant, z_000_154_a_stuck_japan_12, restriction).
arc(r_0154_0006__have, r_0154_0005__you, arg0).
arc(r_0154_0006__have, z_000_154_a_stuck_japan_12, arg1).
arc(r_0154_0010__thought, r_0154_0009__I, arg0).
arc(r_0154_0010__thought, utterance_154_a_stuck_japan_4, arg1).
arc(utterance_154_a_stuck_japan_4, r_0154_0004__all_quant, part1).


%3 r_0154_0002__Is Is r_0154_0003__that that r_0154_0002__Is->r_0154_0003__that [arg0] z_000_154_a_stuck_japan_12 r_0154_0002__Is->z_000_154_a_stuck_japan_12 [prd] r_0154_0004__all_quant all [quant] r_0154_0004__all_quant->r_0154_0002__Is [scope] r_0154_0006__have have r_0154_0004__all_quant->r_0154_0006__have [restriction] r_0154_0006__have->z_000_154_a_stuck_japan_12 [arg1] r_0154_0005__you you r_0154_0006__have->r_0154_0005__you [arg0] r_0154_0010__thought thought r_0154_0009__I I r_0154_0010__thought->r_0154_0009__I [arg0] utterance_154_a_stuck_japan_4 [utterance] r_0154_0010__thought->utterance_154_a_stuck_japan_4 [arg1] utterance_154_a_stuck_japan_4->r_0154_0004__all_quant [part1] 
fof(formula,axiom,
    ? [R_154_10_THOUGHT,R_154_9_I,UTTERANCE_154_A_STUCK_JAPAN_4] :
      ( i(R_154_9_I)
      & thought(R_154_10_THOUGHT,R_154_9_I,UTTERANCE_154_A_STUCK_JAPAN_4)
      & ! [R_154_6_HAVE,R_154_5_YOU,Z_154_A_STUCK_JAPAN_12] :
          ( ( you(R_154_5_YOU)
            & have(R_154_6_HAVE,R_154_5_YOU,Z_154_A_STUCK_JAPAN_12) )
         => ? [R_154_2_IS,R_154_3_THAT] :
              ( that(R_154_3_THAT)
              & is(R_154_2_IS,R_154_3_THAT,Z_154_A_STUCK_JAPAN_12) ) )
      & part1(PART1)
      & utterance_154_a_stuck_japan_4(UTTERANCE_154_A_STUCK_JAPAN_4) ) ).


n154_a_stuck_japan n154_a_stuck_japan_3 <ldquo> n154_a_stuck_japan_8 Is n154_a_stuck_japan_11 that n154_a_stuck_japan_14 all n154_a_stuck_japan_17 *T* n154_a_stuck_japan_20 you n154_a_stuck_japan_22 have n154_a_stuck_japan_24 ? n154_a_stuck_japan_26 <rdquo> n154_a_stuck_japan_29 I n154_a_stuck_japan_31 thought n154_a_stuck_japan_33 . n154_a_stuck_japan_1 IP-MAT n154_a_stuck_japan_2 PURQ n154_a_stuck_japan_1->n154_a_stuck_japan_2 n154_a_stuck_japan_4 utterance-OB1 n154_a_stuck_japan_1->n154_a_stuck_japan_4 n154_a_stuck_japan_25 PULQ n154_a_stuck_japan_1->n154_a_stuck_japan_25 n154_a_stuck_japan_27 NP-SBJ n154_a_stuck_japan_1->n154_a_stuck_japan_27 n154_a_stuck_japan_30 VBD;_Tr_ n154_a_stuck_japan_1->n154_a_stuck_japan_30 n154_a_stuck_japan_32 PUNC n154_a_stuck_japan_1->n154_a_stuck_japan_32 n154_a_stuck_japan_2->n154_a_stuck_japan_3 n154_a_stuck_japan_5 CP-QUE-MAT n154_a_stuck_japan_4->n154_a_stuck_japan_5 n154_a_stuck_japan_6 IP-SUB n154_a_stuck_japan_5->n154_a_stuck_japan_6 n154_a_stuck_japan_23 PUNC n154_a_stuck_japan_5->n154_a_stuck_japan_23 n154_a_stuck_japan_7 BEP;_Ln_ n154_a_stuck_japan_6->n154_a_stuck_japan_7 n154_a_stuck_japan_9 NP-SBJ n154_a_stuck_japan_6->n154_a_stuck_japan_9 n154_a_stuck_japan_12 NP-PRD n154_a_stuck_japan_6->n154_a_stuck_japan_12 n154_a_stuck_japan_7->n154_a_stuck_japan_8 n154_a_stuck_japan_10 D n154_a_stuck_japan_9->n154_a_stuck_japan_10 n154_a_stuck_japan_10->n154_a_stuck_japan_11 n154_a_stuck_japan_13 Q;_nphd_ n154_a_stuck_japan_12->n154_a_stuck_japan_13 n154_a_stuck_japan_15 IP-REL n154_a_stuck_japan_12->n154_a_stuck_japan_15 n154_a_stuck_japan_13->n154_a_stuck_japan_14 n154_a_stuck_japan_16 NP-OB1 n154_a_stuck_japan_15->n154_a_stuck_japan_16 n154_a_stuck_japan_18 NP-SBJ n154_a_stuck_japan_15->n154_a_stuck_japan_18 n154_a_stuck_japan_21 HVP;_Tn_ n154_a_stuck_japan_15->n154_a_stuck_japan_21 n154_a_stuck_japan_16->n154_a_stuck_japan_17 n154_a_stuck_japan_19 PRO n154_a_stuck_japan_18->n154_a_stuck_japan_19 n154_a_stuck_japan_19->n154_a_stuck_japan_20 n154_a_stuck_japan_21->n154_a_stuck_japan_22 n154_a_stuck_japan_23->n154_a_stuck_japan_24 n154_a_stuck_japan_25->n154_a_stuck_japan_26 n154_a_stuck_japan_28 PRO n154_a_stuck_japan_27->n154_a_stuck_japan_28 n154_a_stuck_japan_28->n154_a_stuck_japan_29 n154_a_stuck_japan_30->n154_a_stuck_japan_31 n154_a_stuck_japan_32->n154_a_stuck_japan_33 
( (IP-MAT (PURQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
                                             (NP-SBJ (D that;{that}))
                                             (NP-PRD (Q;_nphd_ all;{all})
                                                     (IP-REL (NP-OB1 *T*)
                                                             (NP-SBJ (PRO you;{you}))
                                                             (HVP;_Tn_ have;{have}))))
                                     (PUNC ?)))
          (PULQ <rdquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ thought;{think})
          (PUNC .))
  (ID 154_a_stuck_japan))