Context                Previous, Next                Top


39_a_paulfellows
There's the fan that you have to stop in order to reboot it.

%3 r_0039_0001__There_r_0039_0002___apos_s There 's r_0039_0003__the_r_0039_0004__fan the fan r_0039_0001__There_r_0039_0002___apos_s->r_0039_0003__the_r_0039_0004__fan [arg0] r_0039_0005__that_r_0039_0007__have that have r_0039_0008__to_r_0039_0009__stop to stop r_0039_0005__that_r_0039_0007__have->r_0039_0008__to_r_0039_0009__stop [scope] r_0039_0008__to_r_0039_0009__stop->r_0039_0003__the_r_0039_0004__fan [arg1] r_0039_0006__you you r_0039_0008__to_r_0039_0009__stop->r_0039_0006__you [arg0] r_0039_0010__in_order in order r_0039_0010__in_order->r_0039_0005__that_r_0039_0007__have [scope] r_0039_0011__to_r_0039_0012__reboot to reboot r_0039_0010__in_order->r_0039_0011__to_r_0039_0012__reboot [restriction] r_0039_0011__to_r_0039_0012__reboot->r_0039_0006__you [arg0] r_0039_0013__it it r_0039_0011__to_r_0039_0012__reboot->r_0039_0013__it [arg1] 
arc(r_0039_0001__There_r_0039_0002___apos_s, r_0039_0003__the_r_0039_0004__fan, arg0).
arc(r_0039_0005__that_r_0039_0007__have, r_0039_0008__to_r_0039_0009__stop, scope).
arc(r_0039_0008__to_r_0039_0009__stop, r_0039_0003__the_r_0039_0004__fan, arg1).
arc(r_0039_0008__to_r_0039_0009__stop, r_0039_0006__you, arg0).
arc(r_0039_0010__in_order, r_0039_0005__that_r_0039_0007__have, scope).
arc(r_0039_0010__in_order, r_0039_0011__to_r_0039_0012__reboot, restriction).
arc(r_0039_0011__to_r_0039_0012__reboot, r_0039_0006__you, arg0).
arc(r_0039_0011__to_r_0039_0012__reboot, r_0039_0013__it, arg1).


%3 r_0039_0011__to_r_0039_0012__reboot to reboot r_0039_0013__it it r_0039_0011__to_r_0039_0012__reboot->r_0039_0013__it [arg1] r_0039_0006__you you r_0039_0011__to_r_0039_0012__reboot->r_0039_0006__you [arg0] r_0039_0010__in_order in order r_0039_0010__in_order->r_0039_0011__to_r_0039_0012__reboot [conj1] r_0039_0005__that_r_0039_0007__have_r_0039_0008__to_r_0039_0009__stop that have to stop r_0039_0010__in_order->r_0039_0005__that_r_0039_0007__have_r_0039_0008__to_r_0039_0009__stop [conj2] r_0039_0005__that_r_0039_0007__have_r_0039_0008__to_r_0039_0009__stop->r_0039_0006__you [arg0] r_0039_0003__the_r_0039_0004__fan the fan r_0039_0005__that_r_0039_0007__have_r_0039_0008__to_r_0039_0009__stop->r_0039_0003__the_r_0039_0004__fan [arg1] r_0039_0001__There_r_0039_0002___apos_s There 's r_0039_0001__There_r_0039_0002___apos_s->r_0039_0003__the_r_0039_0004__fan [arg0] 
fof(formula,axiom,
    ? [R_39_1_THERE_APOS_S,R_39_10_IN_ORDER,R_39_11_TO_REBOOT,R_39_13_IT,R_39_5_THAT_HAVE_TO_STOP,R_39_6_YOU,R_39_3_THE_FAN] :
      ( it(R_39_13_IT)
      & you(R_39_6_YOU)
      & the_fan(R_39_3_THE_FAN)
      & there_apos_s(R_39_1_THERE_APOS_S,R_39_3_THE_FAN)
      & in_order(R_39_10_IN_ORDER)
      & conj1(R_39_10_IN_ORDER,R_39_11_TO_REBOOT)
      & to_reboot(R_39_11_TO_REBOOT,R_39_6_YOU,R_39_13_IT)
      & conj2(R_39_10_IN_ORDER,R_39_5_THAT_HAVE_TO_STOP)
      & that_have_to_stop(R_39_5_THAT_HAVE_TO_STOP,R_39_6_YOU,R_39_3_THE_FAN) ) ).


n39_a_paulfellows n39_a_paulfellows__1_1_1 There n39_a_paulfellows__1_2_1 's n39_a_paulfellows__1_3_1_1 the n39_a_paulfellows__1_3_2_1 fan n39_a_paulfellows__1_3_3_1_1 that n39_a_paulfellows__1_3_3_2_1_1 you n39_a_paulfellows__1_3_3_3_1 have n39_a_paulfellows__1_3_3_4_1_1 *T* n39_a_paulfellows__1_3_3_4_2_1 to n39_a_paulfellows__1_3_3_4_3_1 stop n39_a_paulfellows__1_3_3_5_1_1 in_order n39_a_paulfellows__1_3_3_5_2_1_1 to n39_a_paulfellows__1_3_3_5_2_2_1 reboot n39_a_paulfellows__1_3_3_5_2_3_1_1 it n39_a_paulfellows__1_4_1 . n39_a_paulfellows__1 IP-MAT n39_a_paulfellows__1_1 EX n39_a_paulfellows__1->n39_a_paulfellows__1_1 n39_a_paulfellows__1_2 BEP;_ex_V_ n39_a_paulfellows__1->n39_a_paulfellows__1_2 n39_a_paulfellows__1_3 NP-ESBJ n39_a_paulfellows__1->n39_a_paulfellows__1_3 n39_a_paulfellows__1_4 PUNC n39_a_paulfellows__1->n39_a_paulfellows__1_4 n39_a_paulfellows__1_1->n39_a_paulfellows__1_1_1 n39_a_paulfellows__1_2->n39_a_paulfellows__1_2_1 n39_a_paulfellows__1_3_1 D n39_a_paulfellows__1_3->n39_a_paulfellows__1_3_1 n39_a_paulfellows__1_3_2 N n39_a_paulfellows__1_3->n39_a_paulfellows__1_3_2 n39_a_paulfellows__1_3_3 IP-REL n39_a_paulfellows__1_3->n39_a_paulfellows__1_3_3 n39_a_paulfellows__1_3_1->n39_a_paulfellows__1_3_1_1 n39_a_paulfellows__1_3_2->n39_a_paulfellows__1_3_2_1 n39_a_paulfellows__1_3_3_1 C n39_a_paulfellows__1_3_3->n39_a_paulfellows__1_3_3_1 n39_a_paulfellows__1_3_3_2 NP-SBJ n39_a_paulfellows__1_3_3->n39_a_paulfellows__1_3_3_2 n39_a_paulfellows__1_3_3_3 HVP;_cat_Vt_ n39_a_paulfellows__1_3_3->n39_a_paulfellows__1_3_3_3 n39_a_paulfellows__1_3_3_4 IP-INF-CAT n39_a_paulfellows__1_3_3->n39_a_paulfellows__1_3_3_4 n39_a_paulfellows__1_3_3_5 PP-SCON n39_a_paulfellows__1_3_3->n39_a_paulfellows__1_3_3_5 n39_a_paulfellows__1_3_3_1->n39_a_paulfellows__1_3_3_1_1 n39_a_paulfellows__1_3_3_2_1 PRO n39_a_paulfellows__1_3_3_2->n39_a_paulfellows__1_3_3_2_1 n39_a_paulfellows__1_3_3_2_1->n39_a_paulfellows__1_3_3_2_1_1 n39_a_paulfellows__1_3_3_3->n39_a_paulfellows__1_3_3_3_1 n39_a_paulfellows__1_3_3_4_1 NP-OB1 n39_a_paulfellows__1_3_3_4->n39_a_paulfellows__1_3_3_4_1 n39_a_paulfellows__1_3_3_4_2 TO n39_a_paulfellows__1_3_3_4->n39_a_paulfellows__1_3_3_4_2 n39_a_paulfellows__1_3_3_4_3 VB;__ n39_a_paulfellows__1_3_3_4->n39_a_paulfellows__1_3_3_4_3 n39_a_paulfellows__1_3_3_4_1->n39_a_paulfellows__1_3_3_4_1_1 n39_a_paulfellows__1_3_3_4_2->n39_a_paulfellows__1_3_3_4_2_1 n39_a_paulfellows__1_3_3_4_3->n39_a_paulfellows__1_3_3_4_3_1 n39_a_paulfellows__1_3_3_5_1 P-CONN n39_a_paulfellows__1_3_3_5->n39_a_paulfellows__1_3_3_5_1 n39_a_paulfellows__1_3_3_5_2 IP-INF n39_a_paulfellows__1_3_3_5->n39_a_paulfellows__1_3_3_5_2 n39_a_paulfellows__1_3_3_5_1->n39_a_paulfellows__1_3_3_5_1_1 n39_a_paulfellows__1_3_3_5_2_1 TO n39_a_paulfellows__1_3_3_5_2->n39_a_paulfellows__1_3_3_5_2_1 n39_a_paulfellows__1_3_3_5_2_2 VB;__ n39_a_paulfellows__1_3_3_5_2->n39_a_paulfellows__1_3_3_5_2_2 n39_a_paulfellows__1_3_3_5_2_3 NP-OB1 n39_a_paulfellows__1_3_3_5_2->n39_a_paulfellows__1_3_3_5_2_3 n39_a_paulfellows__1_3_3_5_2_1->n39_a_paulfellows__1_3_3_5_2_1_1 n39_a_paulfellows__1_3_3_5_2_2->n39_a_paulfellows__1_3_3_5_2_2_1 n39_a_paulfellows__1_3_3_5_2_3_1 PRO n39_a_paulfellows__1_3_3_5_2_3->n39_a_paulfellows__1_3_3_5_2_3_1 n39_a_paulfellows__1_3_3_5_2_3_1->n39_a_paulfellows__1_3_3_5_2_3_1_1 n39_a_paulfellows__1_4->n39_a_paulfellows__1_4_1 
( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ <apos>s;{be})
          (NP-ESBJ (D the;{the})
                   (N fan;{fan})
                   (IP-REL (C that;{that})
                           (NP-SBJ (PRO you;{you}))
                           (HVP;_cat_Vt_ have;{have})
                           (IP-INF-CAT (NP-OB1 *T*)
                                       (TO to;{to})
                                       (VB;__ stop;{stop}))
                           (PP-SCON (P-CONN in_order;{in_order})
                                    (IP-INF (TO to;{to})
                                            (VB;__ reboot;{reboot})
                                            (NP-OB1 (PRO it;{it}))))))
          (PUNC .))
  (ID 39_a_paulfellows))