Context                Previous, Next                Top


10_a_lob_n01
They might have been arranging a supper party.

%3 r_0010_0002__might might r_0010_0003__have have r_0010_0002__might->r_0010_0003__have [scope] r_0010_0004__been been r_0010_0003__have->r_0010_0004__been [scope] r_0010_0005__arranging arranging r_0010_0004__been->r_0010_0005__arranging [scope] r_0010_0001__They They r_0010_0005__arranging->r_0010_0001__They [arg0] r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party a supper party r_0010_0005__arranging->r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party [arg1] 
arc(r_0010_0002__might, r_0010_0003__have, scope).
arc(r_0010_0003__have, r_0010_0004__been, scope).
arc(r_0010_0004__been, r_0010_0005__arranging, scope).
arc(r_0010_0005__arranging, r_0010_0001__They, arg0).
arc(r_0010_0005__arranging, r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party, arg1).


%3 r_0010_0002__might_r_0010_0003__have_r_0010_0004__been_r_0010_0005__arranging might have been arranging r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party a supper party r_0010_0002__might_r_0010_0003__have_r_0010_0004__been_r_0010_0005__arranging->r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party [arg1] r_0010_0001__They They r_0010_0002__might_r_0010_0003__have_r_0010_0004__been_r_0010_0005__arranging->r_0010_0001__They [arg0] 
fof(formula,axiom,
    ? [R_10_2_MIGHT_HAVE_BEEN_ARRANGING,R_10_1_THEY,R_10_6_A_SUPPER_PARTY] :
      ( they(R_10_1_THEY)
      & a_supper_party(R_10_6_A_SUPPER_PARTY)
      & might_have_been_arranging(R_10_2_MIGHT_HAVE_BEEN_ARRANGING,R_10_1_THEY,R_10_6_A_SUPPER_PARTY) ) ).


n10_a_lob_n01 n10_a_lob_n01__1_1_1_1 They n10_a_lob_n01__1_2_1 might n10_a_lob_n01__1_3_1_1 have n10_a_lob_n01__1_3_2_1_1 been n10_a_lob_n01__1_3_2_2_1_1 arranging n10_a_lob_n01__1_3_2_2_2_1_1 a n10_a_lob_n01__1_3_2_2_2_2_1 supper n10_a_lob_n01__1_3_2_2_2_3_1 party n10_a_lob_n01__1_4_1 . n10_a_lob_n01__1 IP-MAT n10_a_lob_n01__1_1 NP-SBJ n10_a_lob_n01__1->n10_a_lob_n01__1_1 n10_a_lob_n01__1_2 MD;_cat_Vi_ n10_a_lob_n01__1->n10_a_lob_n01__1_2 n10_a_lob_n01__1_3 IP-INF-CAT n10_a_lob_n01__1->n10_a_lob_n01__1_3 n10_a_lob_n01__1_4 PUNC n10_a_lob_n01__1->n10_a_lob_n01__1_4 n10_a_lob_n01__1_1_1 PRO n10_a_lob_n01__1_1->n10_a_lob_n01__1_1_1 n10_a_lob_n01__1_1_1->n10_a_lob_n01__1_1_1_1 n10_a_lob_n01__1_2->n10_a_lob_n01__1_2_1 n10_a_lob_n01__1_3_1 HV;_cat_Ve_ n10_a_lob_n01__1_3->n10_a_lob_n01__1_3_1 n10_a_lob_n01__1_3_2 IP-PPL-CAT n10_a_lob_n01__1_3->n10_a_lob_n01__1_3_2 n10_a_lob_n01__1_3_1->n10_a_lob_n01__1_3_1_1 n10_a_lob_n01__1_3_2_1 BEN;_cat_Vg_ n10_a_lob_n01__1_3_2->n10_a_lob_n01__1_3_2_1 n10_a_lob_n01__1_3_2_2 IP-PPL-CAT n10_a_lob_n01__1_3_2->n10_a_lob_n01__1_3_2_2 n10_a_lob_n01__1_3_2_1->n10_a_lob_n01__1_3_2_1_1 n10_a_lob_n01__1_3_2_2_1 VAG;_Tn_ n10_a_lob_n01__1_3_2_2->n10_a_lob_n01__1_3_2_2_1 n10_a_lob_n01__1_3_2_2_2 NP-OB1 n10_a_lob_n01__1_3_2_2->n10_a_lob_n01__1_3_2_2_2 n10_a_lob_n01__1_3_2_2_1->n10_a_lob_n01__1_3_2_2_1_1 n10_a_lob_n01__1_3_2_2_2_1 D n10_a_lob_n01__1_3_2_2_2->n10_a_lob_n01__1_3_2_2_2_1 n10_a_lob_n01__1_3_2_2_2_2 N n10_a_lob_n01__1_3_2_2_2->n10_a_lob_n01__1_3_2_2_2_2 n10_a_lob_n01__1_3_2_2_2_3 N n10_a_lob_n01__1_3_2_2_2->n10_a_lob_n01__1_3_2_2_2_3 n10_a_lob_n01__1_3_2_2_2_1->n10_a_lob_n01__1_3_2_2_2_1_1 n10_a_lob_n01__1_3_2_2_2_2->n10_a_lob_n01__1_3_2_2_2_2_1 n10_a_lob_n01__1_3_2_2_2_3->n10_a_lob_n01__1_3_2_2_2_3_1 n10_a_lob_n01__1_4->n10_a_lob_n01__1_4_1 
( (IP-MAT (NP-SBJ (PRO They;{they}))
          (MD;_cat_Vi_ might;{may})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                  (IP-PPL-CAT (VAG;_Tn_ arranging;{arrange})
                                              (NP-OB1 (D a;{a})
                                                      (N supper;{supper})
                                                      (N party;{party})))))
          (PUNC .))
  (ID 10_a_lob_n01))