Context                Previous, Next                Top


63_a_ted_talk_11
We had the place crammed full of agents in T-shirts:

%3 r_0063_0002__had had r_0063_0001__We We r_0063_0002__had->r_0063_0001__We [arg0] r_0063_0003__the_r_0063_0004__place the place r_0063_0002__had->r_0063_0003__the_r_0063_0004__place [arg1] r_0063_0005__crammed crammed r_0063_0002__had->r_0063_0005__crammed [prd] r_0063_0006__full full r_0063_0005__crammed->r_0063_0006__full [nim] x_000_63_a_ted_talk_11_12 __ r_0063_0005__crammed->x_000_63_a_ted_talk_11_12 [arg1] z_000_63_a_ted_talk_11_13 r_0063_0005__crammed->z_000_63_a_ted_talk_11_13 [arg0] r_0063_0008__agents agents r_0063_0006__full->r_0063_0008__agents of r_0063_0010__T__hyphen__shirts T-shirts r_0063_0008__agents->r_0063_0010__T__hyphen__shirts in 
arc(r_0063_0002__had, r_0063_0001__We, arg0).
arc(r_0063_0002__had, r_0063_0003__the_r_0063_0004__place, arg1).
arc(r_0063_0002__had, r_0063_0005__crammed, prd).
arc(r_0063_0005__crammed, r_0063_0006__full, nim17).
arc(r_0063_0005__crammed, x_000_63_a_ted_talk_11_12, arg1).
arc(r_0063_0005__crammed, z_000_63_a_ted_talk_11_13, arg0).
arc(r_0063_0006__full, r_0063_0008__agents, r_0063_0007__of).
arc(r_0063_0008__agents, r_0063_0010__T__hyphen__shirts, r_0063_0009__in).


%3 r_0063_0008__agents agents r_0063_0010__T__hyphen__shirts T-shirts r_0063_0008__agents->r_0063_0010__T__hyphen__shirts in r_0063_0006__full full r_0063_0006__full->r_0063_0008__agents of r_0063_0005__crammed crammed r_0063_0005__crammed->r_0063_0006__full [nim] z_000_63_a_ted_talk_11_13 r_0063_0005__crammed->z_000_63_a_ted_talk_11_13 [arg0] x_000_63_a_ted_talk_11_12 __ r_0063_0005__crammed->x_000_63_a_ted_talk_11_12 [arg1] r_0063_0002__had had r_0063_0002__had->r_0063_0005__crammed [prd] r_0063_0003__the_r_0063_0004__place the place r_0063_0002__had->r_0063_0003__the_r_0063_0004__place [arg1] r_0063_0001__We We r_0063_0002__had->r_0063_0001__We [arg0] 
fof(formula,axiom,
    ? [R_0063_0001__WE,R_0063_0003__THE_R_0063_0004__PLACE,R_0063_0010__T__HYPHEN__SHIRTS,R_0063_0008__AGENTS,R_0063_0006__FULL,X_000_63_A_TED_TALK_11_12,Z_000_63_A_TED_TALK_11_13,R_0063_0005__CRAMMED,R_0063_0002__HAD] :
      ( r_0063_0001__We(R_0063_0001__WE)
      & r_0063_0003__the_r_0063_0004__place(R_0063_0003__THE_R_0063_0004__PLACE)
      & r_0063_0010__T__hyphen__shirts(R_0063_0010__T__HYPHEN__SHIRTS)
      & x_000_63_a_ted_talk_11_12(X_000_63_A_TED_TALK_11_12)
      & z_000_63_a_ted_talk_11_13(Z_000_63_A_TED_TALK_11_13)
      & r_0063_0002__had(R_0063_0002__HAD)
      & has_prd(R_0063_0002__HAD,R_0063_0005__CRAMMED)
      & r_0063_0005__crammed(R_0063_0005__CRAMMED)
      & has_arg0(R_0063_0005__CRAMMED,Z_000_63_A_TED_TALK_11_13)
      & has_arg1(R_0063_0005__CRAMMED,X_000_63_A_TED_TALK_11_12)
      & has_nim17(R_0063_0005__CRAMMED,R_0063_0006__FULL)
      & r_0063_0006__full(R_0063_0006__FULL)
      & has_r_0063_0007__of(R_0063_0006__FULL,R_0063_0008__AGENTS)
      & r_0063_0008__agents(R_0063_0008__AGENTS)
      & has_r_0063_0009__in(R_0063_0008__AGENTS,R_0063_0010__T__HYPHEN__SHIRTS)
      & has_arg1(R_0063_0002__HAD,R_0063_0003__THE_R_0063_0004__PLACE)
      & has_arg0(R_0063_0002__HAD,R_0063_0001__WE) ) ).


n63_a_ted_talk_11 n63_a_ted_talk_11__1_1_1_1 We n63_a_ted_talk_11__1_2_1 had n63_a_ted_talk_11__1_3_1_1 the n63_a_ted_talk_11__1_3_2_1 place n63_a_ted_talk_11__1_4_1_1 * n63_a_ted_talk_11__1_4_2_1 crammed n63_a_ted_talk_11__1_4_3_1_1 full n63_a_ted_talk_11__1_4_3_2_1_1 of n63_a_ted_talk_11__1_4_3_2_2_1_1 agents n63_a_ted_talk_11__1_4_3_2_2_2_1_1 in n63_a_ted_talk_11__1_4_3_2_2_2_2_1_1 T-shirts n63_a_ted_talk_11__1_5_1 : n63_a_ted_talk_11__1 IP-MAT n63_a_ted_talk_11__1_1 NP-SBJ n63_a_ted_talk_11__1->n63_a_ted_talk_11__1_1 n63_a_ted_talk_11__1_2 HVD;_VP24C_ n63_a_ted_talk_11__1->n63_a_ted_talk_11__1_2 n63_a_ted_talk_11__1_3 NP-OB1 n63_a_ted_talk_11__1->n63_a_ted_talk_11__1_3 n63_a_ted_talk_11__1_4 IP-PPL-PRD n63_a_ted_talk_11__1->n63_a_ted_talk_11__1_4 n63_a_ted_talk_11__1_5 PUNC n63_a_ted_talk_11__1->n63_a_ted_talk_11__1_5 n63_a_ted_talk_11__1_1_1 PRO n63_a_ted_talk_11__1_1->n63_a_ted_talk_11__1_1_1 n63_a_ted_talk_11__1_1_1->n63_a_ted_talk_11__1_1_1_1 n63_a_ted_talk_11__1_2->n63_a_ted_talk_11__1_2_1 n63_a_ted_talk_11__1_3_1 D n63_a_ted_talk_11__1_3->n63_a_ted_talk_11__1_3_1 n63_a_ted_talk_11__1_3_2 N n63_a_ted_talk_11__1_3->n63_a_ted_talk_11__1_3_2 n63_a_ted_talk_11__1_3_1->n63_a_ted_talk_11__1_3_1_1 n63_a_ted_talk_11__1_3_2->n63_a_ted_talk_11__1_3_2_1 n63_a_ted_talk_11__1_4_1 NP-LGS n63_a_ted_talk_11__1_4->n63_a_ted_talk_11__1_4_1 n63_a_ted_talk_11__1_4_2 VVN;_Tn_ n63_a_ted_talk_11__1_4->n63_a_ted_talk_11__1_4_2 n63_a_ted_talk_11__1_4_3 ADVP-NIM n63_a_ted_talk_11__1_4->n63_a_ted_talk_11__1_4_3 n63_a_ted_talk_11__1_4_1->n63_a_ted_talk_11__1_4_1_1 n63_a_ted_talk_11__1_4_2->n63_a_ted_talk_11__1_4_2_1 n63_a_ted_talk_11__1_4_3_1 ADV n63_a_ted_talk_11__1_4_3->n63_a_ted_talk_11__1_4_3_1 n63_a_ted_talk_11__1_4_3_2 PP n63_a_ted_talk_11__1_4_3->n63_a_ted_talk_11__1_4_3_2 n63_a_ted_talk_11__1_4_3_1->n63_a_ted_talk_11__1_4_3_1_1 n63_a_ted_talk_11__1_4_3_2_1 P-ROLE n63_a_ted_talk_11__1_4_3_2->n63_a_ted_talk_11__1_4_3_2_1 n63_a_ted_talk_11__1_4_3_2_2 NP n63_a_ted_talk_11__1_4_3_2->n63_a_ted_talk_11__1_4_3_2_2 n63_a_ted_talk_11__1_4_3_2_1->n63_a_ted_talk_11__1_4_3_2_1_1 n63_a_ted_talk_11__1_4_3_2_2_1 NS n63_a_ted_talk_11__1_4_3_2_2->n63_a_ted_talk_11__1_4_3_2_2_1 n63_a_ted_talk_11__1_4_3_2_2_2 PP n63_a_ted_talk_11__1_4_3_2_2->n63_a_ted_talk_11__1_4_3_2_2_2 n63_a_ted_talk_11__1_4_3_2_2_1->n63_a_ted_talk_11__1_4_3_2_2_1_1 n63_a_ted_talk_11__1_4_3_2_2_2_1 P-ROLE n63_a_ted_talk_11__1_4_3_2_2_2->n63_a_ted_talk_11__1_4_3_2_2_2_1 n63_a_ted_talk_11__1_4_3_2_2_2_2 NP n63_a_ted_talk_11__1_4_3_2_2_2->n63_a_ted_talk_11__1_4_3_2_2_2_2 n63_a_ted_talk_11__1_4_3_2_2_2_1->n63_a_ted_talk_11__1_4_3_2_2_2_1_1 n63_a_ted_talk_11__1_4_3_2_2_2_2_1 NS n63_a_ted_talk_11__1_4_3_2_2_2_2->n63_a_ted_talk_11__1_4_3_2_2_2_2_1 n63_a_ted_talk_11__1_4_3_2_2_2_2_1->n63_a_ted_talk_11__1_4_3_2_2_2_2_1_1 n63_a_ted_talk_11__1_5->n63_a_ted_talk_11__1_5_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVD;_VP24C_ had;{have})
          (NP-OB1 (D the;{the})
                  (N place;{place}))
          (IP-PPL-PRD (NP-LGS *)
                      (VVN;_Tn_ crammed;{cram})
                      (ADVP-NIM (ADV full;{full})
                                (PP (P-ROLE of;{of})
                                    (NP (NS agents;{agent})
                                        (PP (P-ROLE in;{in})
                                            (NP (NS T_<hyphen>_shirts;{t_shirt})))))))
          (PUNC :))
  (ID 63_a_ted_talk_11))