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 z_000_356_a_dick_1952_21 r_0356_0007__to_r_0356_0008__do to do z_000_356_a_dick_1952_21->r_0356_0007__to_r_0356_0008__do [conj1] r_0356_0004__that_r_0356_0005__was_r_0356_0006__made that was made z_000_356_a_dick_1952_21->r_0356_0004__that_r_0356_0005__was_r_0356_0006__made [conj2] r_0356_0002__A_r_0356_0003__machine A machine 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] 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] z_000_356_a_dick_1952_1 z_000_356_a_dick_1952_1->r_0356_0002__A_r_0356_0003__machine [nim] 
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__1_1_1 <ldquo> n356_a_dick_1952__1_2_1_1 A n356_a_dick_1952__1_2_2_1 machine n356_a_dick_1952__1_2_3_1_1 that n356_a_dick_1952__1_2_3_2_1 *T* n356_a_dick_1952__1_2_3_3_1 was n356_a_dick_1952__1_2_3_4_1_1 * n356_a_dick_1952__1_2_3_4_2_1 made n356_a_dick_1952__1_2_3_5_1_1_1 to n356_a_dick_1952__1_2_3_5_1_2_1 do n356_a_dick_1952__1_2_3_5_1_3_1_1 a n356_a_dick_1952__1_2_3_5_1_3_2_1 job n356_a_dick_1952__1_3_1 . n356_a_dick_1952__1 FRAG n356_a_dick_1952__1_1 PULQ n356_a_dick_1952__1->n356_a_dick_1952__1_1 n356_a_dick_1952__1_2 NP n356_a_dick_1952__1->n356_a_dick_1952__1_2 n356_a_dick_1952__1_3 PUNC n356_a_dick_1952__1->n356_a_dick_1952__1_3 n356_a_dick_1952__1_1->n356_a_dick_1952__1_1_1 n356_a_dick_1952__1_2_1 D n356_a_dick_1952__1_2->n356_a_dick_1952__1_2_1 n356_a_dick_1952__1_2_2 N n356_a_dick_1952__1_2->n356_a_dick_1952__1_2_2 n356_a_dick_1952__1_2_3 IP-REL n356_a_dick_1952__1_2->n356_a_dick_1952__1_2_3 n356_a_dick_1952__1_2_1->n356_a_dick_1952__1_2_1_1 n356_a_dick_1952__1_2_2->n356_a_dick_1952__1_2_2_1 n356_a_dick_1952__1_2_3_1 C n356_a_dick_1952__1_2_3->n356_a_dick_1952__1_2_3_1 n356_a_dick_1952__1_2_3_2 NP-SBJ n356_a_dick_1952__1_2_3->n356_a_dick_1952__1_2_3_2 n356_a_dick_1952__1_2_3_3 BED;_cat_VePASS_ n356_a_dick_1952__1_2_3->n356_a_dick_1952__1_2_3_3 n356_a_dick_1952__1_2_3_4 IP-PPL-CAT n356_a_dick_1952__1_2_3->n356_a_dick_1952__1_2_3_4 n356_a_dick_1952__1_2_3_5 PP-SCON n356_a_dick_1952__1_2_3->n356_a_dick_1952__1_2_3_5 n356_a_dick_1952__1_2_3_1->n356_a_dick_1952__1_2_3_1_1 n356_a_dick_1952__1_2_3_2->n356_a_dick_1952__1_2_3_2_1 n356_a_dick_1952__1_2_3_3->n356_a_dick_1952__1_2_3_3_1 n356_a_dick_1952__1_2_3_4_1 NP-LGS n356_a_dick_1952__1_2_3_4->n356_a_dick_1952__1_2_3_4_1 n356_a_dick_1952__1_2_3_4_2 VVN;_Tn_ n356_a_dick_1952__1_2_3_4->n356_a_dick_1952__1_2_3_4_2 n356_a_dick_1952__1_2_3_4_1->n356_a_dick_1952__1_2_3_4_1_1 n356_a_dick_1952__1_2_3_4_2->n356_a_dick_1952__1_2_3_4_2_1 n356_a_dick_1952__1_2_3_5_1 IP-INF n356_a_dick_1952__1_2_3_5->n356_a_dick_1952__1_2_3_5_1 n356_a_dick_1952__1_2_3_5_1_1 TO n356_a_dick_1952__1_2_3_5_1->n356_a_dick_1952__1_2_3_5_1_1 n356_a_dick_1952__1_2_3_5_1_2 DO;_Tn_ n356_a_dick_1952__1_2_3_5_1->n356_a_dick_1952__1_2_3_5_1_2 n356_a_dick_1952__1_2_3_5_1_3 NP-OB1 n356_a_dick_1952__1_2_3_5_1->n356_a_dick_1952__1_2_3_5_1_3 n356_a_dick_1952__1_2_3_5_1_1->n356_a_dick_1952__1_2_3_5_1_1_1 n356_a_dick_1952__1_2_3_5_1_2->n356_a_dick_1952__1_2_3_5_1_2_1 n356_a_dick_1952__1_2_3_5_1_3_1 D n356_a_dick_1952__1_2_3_5_1_3->n356_a_dick_1952__1_2_3_5_1_3_1 n356_a_dick_1952__1_2_3_5_1_3_2 N n356_a_dick_1952__1_2_3_5_1_3->n356_a_dick_1952__1_2_3_5_1_3_2 n356_a_dick_1952__1_2_3_5_1_3_1->n356_a_dick_1952__1_2_3_5_1_3_1_1 n356_a_dick_1952__1_2_3_5_1_3_2->n356_a_dick_1952__1_2_3_5_1_3_2_1 n356_a_dick_1952__1_3->n356_a_dick_1952__1_3_1 
( (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))