Context                Previous, Next                Top


140_a_hedgehog
We do not understand that concept of aestivation.

%3 r_0140_0002__do_r_0140_0004__understand do understand r_0140_0001__We We r_0140_0002__do_r_0140_0004__understand->r_0140_0001__We [arg0] r_0140_0005__that_r_0140_0006__concept that concept r_0140_0002__do_r_0140_0004__understand->r_0140_0005__that_r_0140_0006__concept [arg1] r_0140_0008__aestivation aestivation r_0140_0005__that_r_0140_0006__concept->r_0140_0008__aestivation of r_0140_0003__not not r_0140_0003__not->r_0140_0002__do_r_0140_0004__understand [keep_scope] 
arc(r_0140_0002__do_r_0140_0004__understand, r_0140_0001__We, arg0).
arc(r_0140_0002__do_r_0140_0004__understand, r_0140_0005__that_r_0140_0006__concept, arg1).
arc(r_0140_0003__not, r_0140_0002__do_r_0140_0004__understand, keep_scope).
arc(r_0140_0005__that_r_0140_0006__concept, r_0140_0008__aestivation, r_0140_0007__of).


%3 r_0140_0005__that_r_0140_0006__concept that concept r_0140_0008__aestivation aestivation r_0140_0005__that_r_0140_0006__concept->r_0140_0008__aestivation of r_0140_0003__not not r_0140_0002__do_r_0140_0004__understand do understand r_0140_0003__not->r_0140_0002__do_r_0140_0004__understand [keep_scope] r_0140_0002__do_r_0140_0004__understand->r_0140_0005__that_r_0140_0006__concept [arg1] r_0140_0001__We We r_0140_0002__do_r_0140_0004__understand->r_0140_0001__We [arg0] 
fof(formula,axiom,
    ~ ? [R_140_2_DO_UNDERSTAND,R_140_1_WE,R_140_5_THAT_CONCEPT,R_140_8_AESTIVATION] :
        ( we(R_140_1_WE)
        & aestivation(R_140_8_AESTIVATION)
        & do_understand(R_140_2_DO_UNDERSTAND,R_140_1_WE,R_140_5_THAT_CONCEPT)
        & that_concept(R_140_5_THAT_CONCEPT)
        & of(R_140_5_THAT_CONCEPT,R_140_8_AESTIVATION) ) ).


n140_a_hedgehog n140_a_hedgehog__1_1_1_1 We n140_a_hedgehog__1_2_1 do n140_a_hedgehog__1_3_1 not n140_a_hedgehog__1_4_1 understand n140_a_hedgehog__1_5_1_1 that n140_a_hedgehog__1_5_2_1 concept n140_a_hedgehog__1_5_3_1_1 of n140_a_hedgehog__1_5_3_2_1_1 aestivation n140_a_hedgehog__1_6_1 . n140_a_hedgehog__1 IP-MAT n140_a_hedgehog__1_1 NP-SBJ n140_a_hedgehog__1->n140_a_hedgehog__1_1 n140_a_hedgehog__1_2 DOP n140_a_hedgehog__1->n140_a_hedgehog__1_2 n140_a_hedgehog__1_3 NEG n140_a_hedgehog__1->n140_a_hedgehog__1_3 n140_a_hedgehog__1_4 VB;_Tn_ n140_a_hedgehog__1->n140_a_hedgehog__1_4 n140_a_hedgehog__1_5 NP-OB1 n140_a_hedgehog__1->n140_a_hedgehog__1_5 n140_a_hedgehog__1_6 PUNC n140_a_hedgehog__1->n140_a_hedgehog__1_6 n140_a_hedgehog__1_1_1 PRO n140_a_hedgehog__1_1->n140_a_hedgehog__1_1_1 n140_a_hedgehog__1_1_1->n140_a_hedgehog__1_1_1_1 n140_a_hedgehog__1_2->n140_a_hedgehog__1_2_1 n140_a_hedgehog__1_3->n140_a_hedgehog__1_3_1 n140_a_hedgehog__1_4->n140_a_hedgehog__1_4_1 n140_a_hedgehog__1_5_1 D n140_a_hedgehog__1_5->n140_a_hedgehog__1_5_1 n140_a_hedgehog__1_5_2 N n140_a_hedgehog__1_5->n140_a_hedgehog__1_5_2 n140_a_hedgehog__1_5_3 PP n140_a_hedgehog__1_5->n140_a_hedgehog__1_5_3 n140_a_hedgehog__1_5_1->n140_a_hedgehog__1_5_1_1 n140_a_hedgehog__1_5_2->n140_a_hedgehog__1_5_2_1 n140_a_hedgehog__1_5_3_1 P-ROLE n140_a_hedgehog__1_5_3->n140_a_hedgehog__1_5_3_1 n140_a_hedgehog__1_5_3_2 NP n140_a_hedgehog__1_5_3->n140_a_hedgehog__1_5_3_2 n140_a_hedgehog__1_5_3_1->n140_a_hedgehog__1_5_3_1_1 n140_a_hedgehog__1_5_3_2_1 N n140_a_hedgehog__1_5_3_2->n140_a_hedgehog__1_5_3_2_1 n140_a_hedgehog__1_5_3_2_1->n140_a_hedgehog__1_5_3_2_1_1 n140_a_hedgehog__1_6->n140_a_hedgehog__1_6_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;_Tn_ understand;{understand})
          (NP-OB1 (D that;{that})
                  (N concept;{concept})
                  (PP (P-ROLE of;{of})
                      (NP (N aestivation;{aestivation}))))
          (PUNC .))
  (ID 140_a_hedgehog;speaker=Stewart))