Context                Previous, Next                Top


356_a_dick_1952
“A machine that was made to do a job.

%3 r_0356_0004__that_r_0356_0005__was that was r_0356_0006__made made r_0356_0004__that_r_0356_0005__was->r_0356_0006__made [scope] r_0356_0002__A_r_0356_0003__machine A machine r_0356_0006__made->r_0356_0002__A_r_0356_0003__machine [arg1] z_000_356_a_dick_1952_17 r_0356_0006__made->z_000_356_a_dick_1952_17 [arg0] r_0356_0007__to_r_0356_0008__do to do r_0356_0007__to_r_0356_0008__do->r_0356_0002__A_r_0356_0003__machine [arg0] r_0356_0009__a_r_0356_0010__job a job r_0356_0007__to_r_0356_0008__do->r_0356_0009__a_r_0356_0010__job [arg1] z_000_356_a_dick_1952_1 z_000_356_a_dick_1952_1->r_0356_0002__A_r_0356_0003__machine [nim] z_000_356_a_dick_1952_21 z_000_356_a_dick_1952_21->r_0356_0004__that_r_0356_0005__was [scope] z_000_356_a_dick_1952_21->r_0356_0007__to_r_0356_0008__do [restriction] 
arc(r_0356_0004__that_r_0356_0005__was, r_0356_0006__made, scope).
arc(r_0356_0006__made, r_0356_0002__A_r_0356_0003__machine, arg1).
arc(r_0356_0006__made, z_000_356_a_dick_1952_17, arg0).
arc(r_0356_0007__to_r_0356_0008__do, r_0356_0002__A_r_0356_0003__machine, arg0).
arc(r_0356_0007__to_r_0356_0008__do, r_0356_0009__a_r_0356_0010__job, arg1).
arc(z_000_356_a_dick_1952_1, r_0356_0002__A_r_0356_0003__machine, nim4).
arc(z_000_356_a_dick_1952_21, r_0356_0004__that_r_0356_0005__was, scope).
arc(z_000_356_a_dick_1952_21, r_0356_0007__to_r_0356_0008__do, restriction).


%3 r_0356_0004__that_r_0356_0005__was_r_0356_0006__made that was made r_0356_0002__A_r_0356_0003__machine A machine r_0356_0004__that_r_0356_0005__was_r_0356_0006__made->r_0356_0002__A_r_0356_0003__machine [arg1] z_000_356_a_dick_1952_17 r_0356_0004__that_r_0356_0005__was_r_0356_0006__made->z_000_356_a_dick_1952_17 [arg0] r_0356_0007__to_r_0356_0008__do to do r_0356_0007__to_r_0356_0008__do->r_0356_0002__A_r_0356_0003__machine [arg0] r_0356_0009__a_r_0356_0010__job a job r_0356_0007__to_r_0356_0008__do->r_0356_0009__a_r_0356_0010__job [arg1] z_000_356_a_dick_1952_1 z_000_356_a_dick_1952_1->r_0356_0002__A_r_0356_0003__machine [nim] z_000_356_a_dick_1952_21 z_000_356_a_dick_1952_21->r_0356_0004__that_r_0356_0005__was_r_0356_0006__made [conj2] z_000_356_a_dick_1952_21->r_0356_0007__to_r_0356_0008__do [conj1] 
fof(formula,axiom,
    ? [Z_356_A_DICK_1952_1,Z_356_A_DICK_1952_21,R_356_7_TO_DO,R_356_9_A_JOB,R_356_4_THAT_WAS_MADE,Z_356_A_DICK_1952_17,R_356_2_A_MACHINE] :
      ( a_job(R_356_9_A_JOB)
      & a_machine(R_356_2_A_MACHINE)
      & z_356_a_dick_1952_1(Z_356_A_DICK_1952_1)
      & nim4(Z_356_A_DICK_1952_1,R_356_2_A_MACHINE)
      & z_356_a_dick_1952_21(Z_356_A_DICK_1952_21)
      & conj1(Z_356_A_DICK_1952_21,R_356_7_TO_DO)
      & to_do(R_356_7_TO_DO,R_356_2_A_MACHINE,R_356_9_A_JOB)
      & conj2(Z_356_A_DICK_1952_21,R_356_4_THAT_WAS_MADE)
      & that_was_made(R_356_4_THAT_WAS_MADE,Z_356_A_DICK_1952_17,R_356_2_A_MACHINE) ) ).


n356_a_dick_1952 n356_a_dick_1952_3 <ldquo> n356_a_dick_1952_6 A n356_a_dick_1952_8 machine n356_a_dick_1952_11 that n356_a_dick_1952_13 *T* n356_a_dick_1952_15 was n356_a_dick_1952_18 * n356_a_dick_1952_20 made n356_a_dick_1952_24 to n356_a_dick_1952_26 do n356_a_dick_1952_29 a n356_a_dick_1952_31 job n356_a_dick_1952_33 . n356_a_dick_1952_1 FRAG n356_a_dick_1952_2 PULQ n356_a_dick_1952_1->n356_a_dick_1952_2 n356_a_dick_1952_4 NP n356_a_dick_1952_1->n356_a_dick_1952_4 n356_a_dick_1952_32 PUNC n356_a_dick_1952_1->n356_a_dick_1952_32 n356_a_dick_1952_2->n356_a_dick_1952_3 n356_a_dick_1952_5 D n356_a_dick_1952_4->n356_a_dick_1952_5 n356_a_dick_1952_7 N n356_a_dick_1952_4->n356_a_dick_1952_7 n356_a_dick_1952_9 IP-REL n356_a_dick_1952_4->n356_a_dick_1952_9 n356_a_dick_1952_5->n356_a_dick_1952_6 n356_a_dick_1952_7->n356_a_dick_1952_8 n356_a_dick_1952_10 C n356_a_dick_1952_9->n356_a_dick_1952_10 n356_a_dick_1952_12 NP-SBJ n356_a_dick_1952_9->n356_a_dick_1952_12 n356_a_dick_1952_14 BED;_cat_VePASS_ n356_a_dick_1952_9->n356_a_dick_1952_14 n356_a_dick_1952_16 IP-PPL-CAT n356_a_dick_1952_9->n356_a_dick_1952_16 n356_a_dick_1952_21 PP-SCON n356_a_dick_1952_9->n356_a_dick_1952_21 n356_a_dick_1952_10->n356_a_dick_1952_11 n356_a_dick_1952_12->n356_a_dick_1952_13 n356_a_dick_1952_14->n356_a_dick_1952_15 n356_a_dick_1952_17 NP-LGS n356_a_dick_1952_16->n356_a_dick_1952_17 n356_a_dick_1952_19 VVN;_Tn_ n356_a_dick_1952_16->n356_a_dick_1952_19 n356_a_dick_1952_17->n356_a_dick_1952_18 n356_a_dick_1952_19->n356_a_dick_1952_20 n356_a_dick_1952_22 IP-INF n356_a_dick_1952_21->n356_a_dick_1952_22 n356_a_dick_1952_23 TO n356_a_dick_1952_22->n356_a_dick_1952_23 n356_a_dick_1952_25 DO;_Tn_ n356_a_dick_1952_22->n356_a_dick_1952_25 n356_a_dick_1952_27 NP-OB1 n356_a_dick_1952_22->n356_a_dick_1952_27 n356_a_dick_1952_23->n356_a_dick_1952_24 n356_a_dick_1952_25->n356_a_dick_1952_26 n356_a_dick_1952_28 D n356_a_dick_1952_27->n356_a_dick_1952_28 n356_a_dick_1952_30 N n356_a_dick_1952_27->n356_a_dick_1952_30 n356_a_dick_1952_28->n356_a_dick_1952_29 n356_a_dick_1952_30->n356_a_dick_1952_31 n356_a_dick_1952_32->n356_a_dick_1952_33 
( (FRAG (PULQ <ldquo>)
        (NP (D A;{a})
            (N machine;{machine})
            (IP-REL (C that;{that})
                    (NP-SBJ *T*)
                    (BED;_cat_VePASS_ was;{be})
                    (IP-PPL-CAT (NP-LGS *)
                                (VVN;_Tn_ made;{make}))
                    (PP-SCON (IP-INF (TO to;{to})
                                     (DO;_Tn_ do;{do})
                                     (NP-OB1 (D a;{a})
                                             (N job;{job}))))))
        (PUNC .))
  (ID 356_a_dick_1952))