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_0003__no_quant no [quant] r_0528_0004__problem problem r_0528_0003__no_quant->r_0528_0004__problem [restriction] r_0528_0002__have have r_0528_0003__no_quant->r_0528_0002__have [scope] r_0528_0002__have->r_0528_0004__problem [arg1] r_0528_0001__We We r_0528_0002__have->r_0528_0001__We [arg0] 
fof(formula,axiom,
    ! [R_0528_0004__PROBLEM] :
      ( r_0528_0004__problem(R_0528_0004__PROBLEM)
     => ? [R_0528_0001__WE,R_0528_0002__HAVE] :
          ( r_0528_0001__We(R_0528_0001__WE)
          & r_0528_0002__have(R_0528_0002__HAVE)
          & has_arg1(R_0528_0002__HAVE,R_0528_0004__PROBLEM)
          & has_arg0(R_0528_0002__HAVE,R_0528_0001__WE) ) ) ).


n528_a_dick_1952 n528_a_dick_1952__1_1_1_1 We n528_a_dick_1952__1_2_1 have n528_a_dick_1952__1_3_1_1 no n528_a_dick_1952__1_3_2_1 problem n528_a_dick_1952__1_4_1 . n528_a_dick_1952__1 IP-MAT n528_a_dick_1952__1_1 NP-SBJ n528_a_dick_1952__1->n528_a_dick_1952__1_1 n528_a_dick_1952__1_2 HVP;_Tn_ n528_a_dick_1952__1->n528_a_dick_1952__1_2 n528_a_dick_1952__1_3 NP-OB1 n528_a_dick_1952__1->n528_a_dick_1952__1_3 n528_a_dick_1952__1_4 PUNC n528_a_dick_1952__1->n528_a_dick_1952__1_4 n528_a_dick_1952__1_1_1 PRO n528_a_dick_1952__1_1->n528_a_dick_1952__1_1_1 n528_a_dick_1952__1_1_1->n528_a_dick_1952__1_1_1_1 n528_a_dick_1952__1_2->n528_a_dick_1952__1_2_1 n528_a_dick_1952__1_3_1 Q n528_a_dick_1952__1_3->n528_a_dick_1952__1_3_1 n528_a_dick_1952__1_3_2 N n528_a_dick_1952__1_3->n528_a_dick_1952__1_3_2 n528_a_dick_1952__1_3_1->n528_a_dick_1952__1_3_1_1 n528_a_dick_1952__1_3_2->n528_a_dick_1952__1_3_2_1 n528_a_dick_1952__1_4->n528_a_dick_1952__1_4_1 
( (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))