Context                Previous, Next                Top


320_a_dick_1952
It was mounted so that it could make a full circle.

%3 r_0320_0002__was was r_0320_0003__mounted mounted r_0320_0002__was->r_0320_0003__mounted [scope] r_0320_0001__It It r_0320_0003__mounted->r_0320_0001__It [arg1] z_000_320_a_dick_1952_8 r_0320_0003__mounted->z_000_320_a_dick_1952_8 [arg0] r_0320_0004__so_that so that r_0320_0004__so_that->r_0320_0002__was [scope] r_0320_0006__could could r_0320_0004__so_that->r_0320_0006__could [restriction] r_0320_0007__make make r_0320_0006__could->r_0320_0007__make [scope] r_0320_0007__make->r_0320_0001__It [arg0] r_0320_0008__a_r_0320_0010__circle a circle r_0320_0007__make->r_0320_0008__a_r_0320_0010__circle [arg1] r_0320_0009__full full r_0320_0008__a_r_0320_0010__circle->r_0320_0009__full [attrib] 
arc(r_0320_0002__was, r_0320_0003__mounted, scope).
arc(r_0320_0003__mounted, r_0320_0001__It, arg1).
arc(r_0320_0003__mounted, z_000_320_a_dick_1952_8, arg0).
arc(r_0320_0004__so_that, r_0320_0002__was, scope).
arc(r_0320_0004__so_that, r_0320_0006__could, restriction).
arc(r_0320_0006__could, r_0320_0007__make, scope).
arc(r_0320_0007__make, r_0320_0001__It, arg0).
arc(r_0320_0007__make, r_0320_0008__a_r_0320_0010__circle, arg1).
arc(r_0320_0008__a_r_0320_0010__circle, r_0320_0009__full, attrib27).


%3 r_0320_0008__a_r_0320_0010__circle a circle r_0320_0009__full full r_0320_0008__a_r_0320_0010__circle->r_0320_0009__full [attrib] r_0320_0006__could_r_0320_0007__make could make r_0320_0006__could_r_0320_0007__make->r_0320_0008__a_r_0320_0010__circle [arg1] r_0320_0001__It It r_0320_0006__could_r_0320_0007__make->r_0320_0001__It [arg0] r_0320_0004__so_that so that r_0320_0004__so_that->r_0320_0006__could_r_0320_0007__make [conj1] r_0320_0002__was_r_0320_0003__mounted was mounted r_0320_0004__so_that->r_0320_0002__was_r_0320_0003__mounted [conj2] r_0320_0002__was_r_0320_0003__mounted->r_0320_0001__It [arg1] z_000_320_a_dick_1952_8 r_0320_0002__was_r_0320_0003__mounted->z_000_320_a_dick_1952_8 [arg0] 
fof(formula,axiom,
    ? [R_320_4_SO_THAT,R_320_6_COULD_MAKE,R_320_8_A_CIRCLE,R_320_9_FULL,R_320_2_WAS_MOUNTED,Z_320_A_DICK_1952_8,R_320_1_IT] :
      ( full(R_320_9_FULL)
      & it(R_320_1_IT)
      & so_that(R_320_4_SO_THAT)
      & conj1(R_320_4_SO_THAT,R_320_6_COULD_MAKE)
      & could_make(R_320_6_COULD_MAKE,R_320_1_IT,R_320_8_A_CIRCLE)
      & a_circle(R_320_8_A_CIRCLE)
      & attrib27(R_320_8_A_CIRCLE,R_320_9_FULL)
      & conj2(R_320_4_SO_THAT,R_320_2_WAS_MOUNTED)
      & was_mounted(R_320_2_WAS_MOUNTED,Z_320_A_DICK_1952_8,R_320_1_IT) ) ).


n320_a_dick_1952 n320_a_dick_1952__1_1_1_1 It n320_a_dick_1952__1_2_1 was n320_a_dick_1952__1_3_1_1 * n320_a_dick_1952__1_3_2_1 mounted n320_a_dick_1952__1_4_1_1 so_that n320_a_dick_1952__1_4_2_1_1_1 it n320_a_dick_1952__1_4_2_2_1 could n320_a_dick_1952__1_4_2_3_1_1 make n320_a_dick_1952__1_4_2_3_2_1_1 a n320_a_dick_1952__1_4_2_3_2_2_1_1 full n320_a_dick_1952__1_4_2_3_2_3_1 circle n320_a_dick_1952__1_5_1 . n320_a_dick_1952__1 IP-MAT n320_a_dick_1952__1_1 NP-SBJ n320_a_dick_1952__1->n320_a_dick_1952__1_1 n320_a_dick_1952__1_2 BED;_cat_VePASS_ n320_a_dick_1952__1->n320_a_dick_1952__1_2 n320_a_dick_1952__1_3 IP-PPL-CAT n320_a_dick_1952__1->n320_a_dick_1952__1_3 n320_a_dick_1952__1_4 PP-SCON n320_a_dick_1952__1->n320_a_dick_1952__1_4 n320_a_dick_1952__1_5 PUNC n320_a_dick_1952__1->n320_a_dick_1952__1_5 n320_a_dick_1952__1_1_1 PRO n320_a_dick_1952__1_1->n320_a_dick_1952__1_1_1 n320_a_dick_1952__1_1_1->n320_a_dick_1952__1_1_1_1 n320_a_dick_1952__1_2->n320_a_dick_1952__1_2_1 n320_a_dick_1952__1_3_1 NP-LGS n320_a_dick_1952__1_3->n320_a_dick_1952__1_3_1 n320_a_dick_1952__1_3_2 VVN;_Tn_ n320_a_dick_1952__1_3->n320_a_dick_1952__1_3_2 n320_a_dick_1952__1_3_1->n320_a_dick_1952__1_3_1_1 n320_a_dick_1952__1_3_2->n320_a_dick_1952__1_3_2_1 n320_a_dick_1952__1_4_1 P-CONN n320_a_dick_1952__1_4->n320_a_dick_1952__1_4_1 n320_a_dick_1952__1_4_2 IP-ADV n320_a_dick_1952__1_4->n320_a_dick_1952__1_4_2 n320_a_dick_1952__1_4_1->n320_a_dick_1952__1_4_1_1 n320_a_dick_1952__1_4_2_1 NP-SBJ n320_a_dick_1952__1_4_2->n320_a_dick_1952__1_4_2_1 n320_a_dick_1952__1_4_2_2 MD;_cat_Vi_ n320_a_dick_1952__1_4_2->n320_a_dick_1952__1_4_2_2 n320_a_dick_1952__1_4_2_3 IP-INF-CAT n320_a_dick_1952__1_4_2->n320_a_dick_1952__1_4_2_3 n320_a_dick_1952__1_4_2_1_1 PRO n320_a_dick_1952__1_4_2_1->n320_a_dick_1952__1_4_2_1_1 n320_a_dick_1952__1_4_2_1_1->n320_a_dick_1952__1_4_2_1_1_1 n320_a_dick_1952__1_4_2_2->n320_a_dick_1952__1_4_2_2_1 n320_a_dick_1952__1_4_2_3_1 VB;_Tn_ n320_a_dick_1952__1_4_2_3->n320_a_dick_1952__1_4_2_3_1 n320_a_dick_1952__1_4_2_3_2 NP-OB1 n320_a_dick_1952__1_4_2_3->n320_a_dick_1952__1_4_2_3_2 n320_a_dick_1952__1_4_2_3_1->n320_a_dick_1952__1_4_2_3_1_1 n320_a_dick_1952__1_4_2_3_2_1 D n320_a_dick_1952__1_4_2_3_2->n320_a_dick_1952__1_4_2_3_2_1 n320_a_dick_1952__1_4_2_3_2_2 ADJP n320_a_dick_1952__1_4_2_3_2->n320_a_dick_1952__1_4_2_3_2_2 n320_a_dick_1952__1_4_2_3_2_3 N n320_a_dick_1952__1_4_2_3_2->n320_a_dick_1952__1_4_2_3_2_3 n320_a_dick_1952__1_4_2_3_2_1->n320_a_dick_1952__1_4_2_3_2_1_1 n320_a_dick_1952__1_4_2_3_2_2_1 ADJ n320_a_dick_1952__1_4_2_3_2_2->n320_a_dick_1952__1_4_2_3_2_2_1 n320_a_dick_1952__1_4_2_3_2_2_1->n320_a_dick_1952__1_4_2_3_2_2_1_1 n320_a_dick_1952__1_4_2_3_2_3->n320_a_dick_1952__1_4_2_3_2_3_1 n320_a_dick_1952__1_5->n320_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ mounted;{mount}))
          (PP-SCON (P-CONN so_that;{so_that})
                   (IP-ADV (NP-SBJ;{GUN} (PRO it;{it}))
                           (MD;_cat_Vi_ could;{can})
                           (IP-INF-CAT (VB;_Tn_ make;{make})
                                       (NP-OB1 (D a;{a})
                                               (ADJP (ADJ full;{full}))
                                               (N circle;{circle})))))
          (PUNC .))
  (ID 320_a_dick_1952))