Context                Previous, Next                Top


528_a_dick_1952
We have no problem.

%3 r_0528_0002__have have r_0528_0001__We We r_0528_0002__have->r_0528_0001__We [arg0] r_0528_0004__problem problem r_0528_0002__have->r_0528_0004__problem [arg1] r_0528_0003__no_quant no [quant] r_0528_0003__no_quant->r_0528_0002__have [scope] r_0528_0003__no_quant->r_0528_0004__problem [restriction] 
arc(r_0528_0002__have, r_0528_0001__We, arg0).
arc(r_0528_0002__have, r_0528_0004__problem, arg1).
arc(r_0528_0003__no_quant, r_0528_0002__have, scope).
arc(r_0528_0003__no_quant, r_0528_0004__problem, restriction).


%3 r_0528_0002__have have r_0528_0001__We We r_0528_0002__have->r_0528_0001__We [arg0] r_0528_0004__problem problem r_0528_0002__have->r_0528_0004__problem [arg1] r_0528_0003__no_quant no [quant] r_0528_0003__no_quant->r_0528_0002__have [scope] r_0528_0003__no_quant->r_0528_0004__problem [restriction] 
fof(formula,axiom,
    ! [R_528_4_PROBLEM] :
      ( problem(R_528_4_PROBLEM)
     => ? [R_528_2_HAVE,R_528_1_WE] :
          ( we(R_528_1_WE)
          & have(R_528_2_HAVE,R_528_1_WE,R_528_4_PROBLEM) ) ) ).


n528_a_dick_1952 n528_a_dick_1952_4 We n528_a_dick_1952_6 have n528_a_dick_1952_9 no n528_a_dick_1952_11 problem n528_a_dick_1952_13 . n528_a_dick_1952_1 IP-MAT n528_a_dick_1952_2 NP-SBJ n528_a_dick_1952_1->n528_a_dick_1952_2 n528_a_dick_1952_5 HVP;_Tn_ n528_a_dick_1952_1->n528_a_dick_1952_5 n528_a_dick_1952_7 NP-OB1 n528_a_dick_1952_1->n528_a_dick_1952_7 n528_a_dick_1952_12 PUNC n528_a_dick_1952_1->n528_a_dick_1952_12 n528_a_dick_1952_3 PRO n528_a_dick_1952_2->n528_a_dick_1952_3 n528_a_dick_1952_3->n528_a_dick_1952_4 n528_a_dick_1952_5->n528_a_dick_1952_6 n528_a_dick_1952_8 Q n528_a_dick_1952_7->n528_a_dick_1952_8 n528_a_dick_1952_10 N n528_a_dick_1952_7->n528_a_dick_1952_10 n528_a_dick_1952_8->n528_a_dick_1952_9 n528_a_dick_1952_10->n528_a_dick_1952_11 n528_a_dick_1952_12->n528_a_dick_1952_13 
( (IP-MAT (NP-SBJ;{DORLE_NASHA_TANCE} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (Q no;{no})
                  (N problem;{problem}))
          (PUNC .))
  (ID 528_a_dick_1952))