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_0002__was_r_0320_0003__mounted was mounted r_0320_0001__It It 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] r_0320_0004__so_that so that r_0320_0004__so_that->r_0320_0002__was_r_0320_0003__mounted [conj2] r_0320_0006__could_r_0320_0007__make could make r_0320_0004__so_that->r_0320_0006__could_r_0320_0007__make [conj1] r_0320_0006__could_r_0320_0007__make->r_0320_0001__It [arg0] r_0320_0008__a_r_0320_0010__circle a circle r_0320_0006__could_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] 
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_4 It n320_a_dick_1952_6 was n320_a_dick_1952_9 * n320_a_dick_1952_11 mounted n320_a_dick_1952_14 so_that n320_a_dick_1952_18 it n320_a_dick_1952_20 could n320_a_dick_1952_23 make n320_a_dick_1952_26 a n320_a_dick_1952_29 full n320_a_dick_1952_31 circle n320_a_dick_1952_33 . n320_a_dick_1952_1 IP-MAT n320_a_dick_1952_2 NP-SBJ n320_a_dick_1952_1->n320_a_dick_1952_2 n320_a_dick_1952_5 BED;_cat_VePASS_ n320_a_dick_1952_1->n320_a_dick_1952_5 n320_a_dick_1952_7 IP-PPL-CAT n320_a_dick_1952_1->n320_a_dick_1952_7 n320_a_dick_1952_12 PP-SCON n320_a_dick_1952_1->n320_a_dick_1952_12 n320_a_dick_1952_32 PUNC n320_a_dick_1952_1->n320_a_dick_1952_32 n320_a_dick_1952_3 PRO n320_a_dick_1952_2->n320_a_dick_1952_3 n320_a_dick_1952_3->n320_a_dick_1952_4 n320_a_dick_1952_5->n320_a_dick_1952_6 n320_a_dick_1952_8 NP-LGS n320_a_dick_1952_7->n320_a_dick_1952_8 n320_a_dick_1952_10 VVN;_Tn_ n320_a_dick_1952_7->n320_a_dick_1952_10 n320_a_dick_1952_8->n320_a_dick_1952_9 n320_a_dick_1952_10->n320_a_dick_1952_11 n320_a_dick_1952_13 P-CONN n320_a_dick_1952_12->n320_a_dick_1952_13 n320_a_dick_1952_15 IP-ADV n320_a_dick_1952_12->n320_a_dick_1952_15 n320_a_dick_1952_13->n320_a_dick_1952_14 n320_a_dick_1952_16 NP-SBJ n320_a_dick_1952_15->n320_a_dick_1952_16 n320_a_dick_1952_19 MD;_cat_Vi_ n320_a_dick_1952_15->n320_a_dick_1952_19 n320_a_dick_1952_21 IP-INF-CAT n320_a_dick_1952_15->n320_a_dick_1952_21 n320_a_dick_1952_17 PRO n320_a_dick_1952_16->n320_a_dick_1952_17 n320_a_dick_1952_17->n320_a_dick_1952_18 n320_a_dick_1952_19->n320_a_dick_1952_20 n320_a_dick_1952_22 VB;_Tn_ n320_a_dick_1952_21->n320_a_dick_1952_22 n320_a_dick_1952_24 NP-OB1 n320_a_dick_1952_21->n320_a_dick_1952_24 n320_a_dick_1952_22->n320_a_dick_1952_23 n320_a_dick_1952_25 D n320_a_dick_1952_24->n320_a_dick_1952_25 n320_a_dick_1952_27 ADJP n320_a_dick_1952_24->n320_a_dick_1952_27 n320_a_dick_1952_30 N n320_a_dick_1952_24->n320_a_dick_1952_30 n320_a_dick_1952_25->n320_a_dick_1952_26 n320_a_dick_1952_28 ADJ n320_a_dick_1952_27->n320_a_dick_1952_28 n320_a_dick_1952_28->n320_a_dick_1952_29 n320_a_dick_1952_30->n320_a_dick_1952_31 n320_a_dick_1952_32->n320_a_dick_1952_33 
( (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))