Context                Previous, Next                Top


165_a_ted_talk_11
Number one, that the most useful subjects for work are at the top.

%3 r_0165_0001__Number_r_0165_0002__one Number one r_0165_0004__that_r_0165_0011__are that are r_0165_0001__Number_r_0165_0002__one->r_0165_0004__that_r_0165_0011__are [emb] r_0165_0005__the_r_0165_0008__subjects the subjects r_0165_0004__that_r_0165_0011__are->r_0165_0005__the_r_0165_0008__subjects [arg0] r_0165_0013__the_r_0165_0014__top the top r_0165_0004__that_r_0165_0011__are->r_0165_0013__the_r_0165_0014__top at [clr] r_0165_0007__useful useful r_0165_0005__the_r_0165_0008__subjects->r_0165_0007__useful [attrib] r_0165_0010__work work r_0165_0005__the_r_0165_0008__subjects->r_0165_0010__work for r_0165_0006__most most r_0165_0007__useful->r_0165_0006__most [qual] z_000_165_a_ted_talk_11_1 z_000_165_a_ted_talk_11_1->r_0165_0001__Number_r_0165_0002__one [nim] 
arc(r_0165_0001__Number_r_0165_0002__one, r_0165_0004__that_r_0165_0011__are, emb10).
arc(r_0165_0004__that_r_0165_0011__are, r_0165_0005__the_r_0165_0008__subjects, arg0).
arc(r_0165_0004__that_r_0165_0011__are, r_0165_0013__the_r_0165_0014__top, r_0165_0012__at_clr35).
arc(r_0165_0005__the_r_0165_0008__subjects, r_0165_0007__useful, attrib16).
arc(r_0165_0005__the_r_0165_0008__subjects, r_0165_0010__work, r_0165_0009__for).
arc(r_0165_0007__useful, r_0165_0006__most, qual17).
arc(z_000_165_a_ted_talk_11_1, r_0165_0001__Number_r_0165_0002__one, nim2).


%3 z_000_165_a_ted_talk_11_1 r_0165_0001__Number_r_0165_0002__one Number one z_000_165_a_ted_talk_11_1->r_0165_0001__Number_r_0165_0002__one [nim] r_0165_0004__that_r_0165_0011__are that are r_0165_0001__Number_r_0165_0002__one->r_0165_0004__that_r_0165_0011__are [emb] r_0165_0007__useful useful r_0165_0006__most most r_0165_0007__useful->r_0165_0006__most [qual] r_0165_0005__the_r_0165_0008__subjects the subjects r_0165_0005__the_r_0165_0008__subjects->r_0165_0007__useful [attrib] r_0165_0010__work work r_0165_0005__the_r_0165_0008__subjects->r_0165_0010__work for r_0165_0004__that_r_0165_0011__are->r_0165_0005__the_r_0165_0008__subjects [arg0] r_0165_0013__the_r_0165_0014__top the top r_0165_0004__that_r_0165_0011__are->r_0165_0013__the_r_0165_0014__top at [clr] 
fof(formula,axiom,
    ? [R_0165_0006__MOST,R_0165_0007__USEFUL,R_0165_0010__WORK,R_0165_0005__THE_R_0165_0008__SUBJECTS,R_0165_0013__THE_R_0165_0014__TOP,R_0165_0004__THAT_R_0165_0011__ARE,R_0165_0001__NUMBER_R_0165_0002__ONE,Z_000_165_A_TED_TALK_11_1] :
      ( r_0165_0006__most(R_0165_0006__MOST)
      & r_0165_0010__work(R_0165_0010__WORK)
      & r_0165_0013__the_r_0165_0014__top(R_0165_0013__THE_R_0165_0014__TOP)
      & z_000_165_a_ted_talk_11_1(Z_000_165_A_TED_TALK_11_1)
      & has_nim2(Z_000_165_A_TED_TALK_11_1,R_0165_0001__NUMBER_R_0165_0002__ONE)
      & r_0165_0001__Number_r_0165_0002__one(R_0165_0001__NUMBER_R_0165_0002__ONE)
      & has_emb10(R_0165_0001__NUMBER_R_0165_0002__ONE,R_0165_0004__THAT_R_0165_0011__ARE)
      & r_0165_0004__that_r_0165_0011__are(R_0165_0004__THAT_R_0165_0011__ARE)
      & has_r_0165_0012__at_clr35(R_0165_0004__THAT_R_0165_0011__ARE,R_0165_0013__THE_R_0165_0014__TOP)
      & has_arg0(R_0165_0004__THAT_R_0165_0011__ARE,R_0165_0005__THE_R_0165_0008__SUBJECTS)
      & r_0165_0005__the_r_0165_0008__subjects(R_0165_0005__THE_R_0165_0008__SUBJECTS)
      & has_r_0165_0009__for(R_0165_0005__THE_R_0165_0008__SUBJECTS,R_0165_0010__WORK)
      & has_attrib16(R_0165_0005__THE_R_0165_0008__SUBJECTS,R_0165_0007__USEFUL)
      & r_0165_0007__useful(R_0165_0007__USEFUL)
      & has_qual17(R_0165_0007__USEFUL,R_0165_0006__MOST) ) ).


n165_a_ted_talk_11 n165_a_ted_talk_11__1_1_1_1 Number n165_a_ted_talk_11__1_1_2_1 one n165_a_ted_talk_11__1_1_3_1 , n165_a_ted_talk_11__1_1_4_1_1_1 that n165_a_ted_talk_11__1_1_4_1_2_1_1 the n165_a_ted_talk_11__1_1_4_1_2_2_1_1_1 most n165_a_ted_talk_11__1_1_4_1_2_2_2_1 useful n165_a_ted_talk_11__1_1_4_1_2_3_1 subjects n165_a_ted_talk_11__1_1_4_1_2_4_1_1 for n165_a_ted_talk_11__1_1_4_1_2_4_2_1_1 work n165_a_ted_talk_11__1_1_4_1_3_1 are n165_a_ted_talk_11__1_1_4_1_4_1_1 at n165_a_ted_talk_11__1_1_4_1_4_2_1_1 the n165_a_ted_talk_11__1_1_4_1_4_2_2_1 top n165_a_ted_talk_11__1_2_1 . n165_a_ted_talk_11__1 FRAG n165_a_ted_talk_11__1_1 NP n165_a_ted_talk_11__1->n165_a_ted_talk_11__1_1 n165_a_ted_talk_11__1_2 PUNC n165_a_ted_talk_11__1->n165_a_ted_talk_11__1_2 n165_a_ted_talk_11__1_1_1 N n165_a_ted_talk_11__1_1->n165_a_ted_talk_11__1_1_1 n165_a_ted_talk_11__1_1_2 NUM n165_a_ted_talk_11__1_1->n165_a_ted_talk_11__1_1_2 n165_a_ted_talk_11__1_1_3 PUNC n165_a_ted_talk_11__1_1->n165_a_ted_talk_11__1_1_3 n165_a_ted_talk_11__1_1_4 CP-THT n165_a_ted_talk_11__1_1->n165_a_ted_talk_11__1_1_4 n165_a_ted_talk_11__1_1_1->n165_a_ted_talk_11__1_1_1_1 n165_a_ted_talk_11__1_1_2->n165_a_ted_talk_11__1_1_2_1 n165_a_ted_talk_11__1_1_3->n165_a_ted_talk_11__1_1_3_1 n165_a_ted_talk_11__1_1_4_1 IP-SUB n165_a_ted_talk_11__1_1_4->n165_a_ted_talk_11__1_1_4_1 n165_a_ted_talk_11__1_1_4_1_1 C n165_a_ted_talk_11__1_1_4_1->n165_a_ted_talk_11__1_1_4_1_1 n165_a_ted_talk_11__1_1_4_1_2 NP-SBJ n165_a_ted_talk_11__1_1_4_1->n165_a_ted_talk_11__1_1_4_1_2 n165_a_ted_talk_11__1_1_4_1_3 BEP;_Ipr_ n165_a_ted_talk_11__1_1_4_1->n165_a_ted_talk_11__1_1_4_1_3 n165_a_ted_talk_11__1_1_4_1_4 PP-CLR n165_a_ted_talk_11__1_1_4_1->n165_a_ted_talk_11__1_1_4_1_4 n165_a_ted_talk_11__1_1_4_1_1->n165_a_ted_talk_11__1_1_4_1_1_1 n165_a_ted_talk_11__1_1_4_1_2_1 D n165_a_ted_talk_11__1_1_4_1_2->n165_a_ted_talk_11__1_1_4_1_2_1 n165_a_ted_talk_11__1_1_4_1_2_2 ADJP n165_a_ted_talk_11__1_1_4_1_2->n165_a_ted_talk_11__1_1_4_1_2_2 n165_a_ted_talk_11__1_1_4_1_2_3 NS n165_a_ted_talk_11__1_1_4_1_2->n165_a_ted_talk_11__1_1_4_1_2_3 n165_a_ted_talk_11__1_1_4_1_2_4 PP n165_a_ted_talk_11__1_1_4_1_2->n165_a_ted_talk_11__1_1_4_1_2_4 n165_a_ted_talk_11__1_1_4_1_2_1->n165_a_ted_talk_11__1_1_4_1_2_1_1 n165_a_ted_talk_11__1_1_4_1_2_2_1 ADVP n165_a_ted_talk_11__1_1_4_1_2_2->n165_a_ted_talk_11__1_1_4_1_2_2_1 n165_a_ted_talk_11__1_1_4_1_2_2_2 ADJ n165_a_ted_talk_11__1_1_4_1_2_2->n165_a_ted_talk_11__1_1_4_1_2_2_2 n165_a_ted_talk_11__1_1_4_1_2_2_1_1 ADVS n165_a_ted_talk_11__1_1_4_1_2_2_1->n165_a_ted_talk_11__1_1_4_1_2_2_1_1 n165_a_ted_talk_11__1_1_4_1_2_2_1_1->n165_a_ted_talk_11__1_1_4_1_2_2_1_1_1 n165_a_ted_talk_11__1_1_4_1_2_2_2->n165_a_ted_talk_11__1_1_4_1_2_2_2_1 n165_a_ted_talk_11__1_1_4_1_2_3->n165_a_ted_talk_11__1_1_4_1_2_3_1 n165_a_ted_talk_11__1_1_4_1_2_4_1 P-ROLE n165_a_ted_talk_11__1_1_4_1_2_4->n165_a_ted_talk_11__1_1_4_1_2_4_1 n165_a_ted_talk_11__1_1_4_1_2_4_2 NP n165_a_ted_talk_11__1_1_4_1_2_4->n165_a_ted_talk_11__1_1_4_1_2_4_2 n165_a_ted_talk_11__1_1_4_1_2_4_1->n165_a_ted_talk_11__1_1_4_1_2_4_1_1 n165_a_ted_talk_11__1_1_4_1_2_4_2_1 N n165_a_ted_talk_11__1_1_4_1_2_4_2->n165_a_ted_talk_11__1_1_4_1_2_4_2_1 n165_a_ted_talk_11__1_1_4_1_2_4_2_1->n165_a_ted_talk_11__1_1_4_1_2_4_2_1_1 n165_a_ted_talk_11__1_1_4_1_3->n165_a_ted_talk_11__1_1_4_1_3_1 n165_a_ted_talk_11__1_1_4_1_4_1 P-ROLE n165_a_ted_talk_11__1_1_4_1_4->n165_a_ted_talk_11__1_1_4_1_4_1 n165_a_ted_talk_11__1_1_4_1_4_2 NP n165_a_ted_talk_11__1_1_4_1_4->n165_a_ted_talk_11__1_1_4_1_4_2 n165_a_ted_talk_11__1_1_4_1_4_1->n165_a_ted_talk_11__1_1_4_1_4_1_1 n165_a_ted_talk_11__1_1_4_1_4_2_1 D n165_a_ted_talk_11__1_1_4_1_4_2->n165_a_ted_talk_11__1_1_4_1_4_2_1 n165_a_ted_talk_11__1_1_4_1_4_2_2 N n165_a_ted_talk_11__1_1_4_1_4_2->n165_a_ted_talk_11__1_1_4_1_4_2_2 n165_a_ted_talk_11__1_1_4_1_4_2_1->n165_a_ted_talk_11__1_1_4_1_4_2_1_1 n165_a_ted_talk_11__1_1_4_1_4_2_2->n165_a_ted_talk_11__1_1_4_1_4_2_2_1 n165_a_ted_talk_11__1_2->n165_a_ted_talk_11__1_2_1 
( (FRAG (NP (N Number;{number})
            (NUM one;{one})
            (PUNC ,)
            (CP-THT (IP-SUB (C that;{that})
                            (NP-SBJ (D the;{the})
                                    (ADJP (ADVP (ADVS most;{most}))
                                          (ADJ useful;{useful}))
                                    (NS subjects;{subject})
                                    (PP (P-ROLE for;{for})
                                        (NP (N work;{work}))))
                            (BEP;_Ipr_ are;{be[at]})
                            (PP-CLR (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (N top;{top}))))))
        (PUNC .))
  (ID 165_a_ted_talk_11))