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_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_r_0039_0008__to_r_0039_0009__stop that have to stop 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_0006__you you r_0039_0005__that_r_0039_0007__have_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_r_0039_0008__to_r_0039_0009__stop [conj2] r_0039_0011__to_r_0039_0012__reboot to reboot r_0039_0010__in_order->r_0039_0011__to_r_0039_0012__reboot [conj1] 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] 
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_3 There n39_a_paulfellows_5 's n39_a_paulfellows_8 the n39_a_paulfellows_10 fan n39_a_paulfellows_13 that n39_a_paulfellows_16 you n39_a_paulfellows_18 have n39_a_paulfellows_21 *T* n39_a_paulfellows_23 to n39_a_paulfellows_25 stop n39_a_paulfellows_28 in_order n39_a_paulfellows_31 to n39_a_paulfellows_33 reboot n39_a_paulfellows_36 it n39_a_paulfellows_38 . n39_a_paulfellows_1 IP-MAT n39_a_paulfellows_2 EX n39_a_paulfellows_1->n39_a_paulfellows_2 n39_a_paulfellows_4 BEP;_ex_V_ n39_a_paulfellows_1->n39_a_paulfellows_4 n39_a_paulfellows_6 NP-ESBJ n39_a_paulfellows_1->n39_a_paulfellows_6 n39_a_paulfellows_37 PUNC n39_a_paulfellows_1->n39_a_paulfellows_37 n39_a_paulfellows_2->n39_a_paulfellows_3 n39_a_paulfellows_4->n39_a_paulfellows_5 n39_a_paulfellows_7 D n39_a_paulfellows_6->n39_a_paulfellows_7 n39_a_paulfellows_9 N n39_a_paulfellows_6->n39_a_paulfellows_9 n39_a_paulfellows_11 IP-REL n39_a_paulfellows_6->n39_a_paulfellows_11 n39_a_paulfellows_7->n39_a_paulfellows_8 n39_a_paulfellows_9->n39_a_paulfellows_10 n39_a_paulfellows_12 C n39_a_paulfellows_11->n39_a_paulfellows_12 n39_a_paulfellows_14 NP-SBJ n39_a_paulfellows_11->n39_a_paulfellows_14 n39_a_paulfellows_17 HVP;_cat_Vt_ n39_a_paulfellows_11->n39_a_paulfellows_17 n39_a_paulfellows_19 IP-INF-CAT n39_a_paulfellows_11->n39_a_paulfellows_19 n39_a_paulfellows_26 PP-SCON n39_a_paulfellows_11->n39_a_paulfellows_26 n39_a_paulfellows_12->n39_a_paulfellows_13 n39_a_paulfellows_15 PRO n39_a_paulfellows_14->n39_a_paulfellows_15 n39_a_paulfellows_15->n39_a_paulfellows_16 n39_a_paulfellows_17->n39_a_paulfellows_18 n39_a_paulfellows_20 NP-OB1 n39_a_paulfellows_19->n39_a_paulfellows_20 n39_a_paulfellows_22 TO n39_a_paulfellows_19->n39_a_paulfellows_22 n39_a_paulfellows_24 VB;__ n39_a_paulfellows_19->n39_a_paulfellows_24 n39_a_paulfellows_20->n39_a_paulfellows_21 n39_a_paulfellows_22->n39_a_paulfellows_23 n39_a_paulfellows_24->n39_a_paulfellows_25 n39_a_paulfellows_27 P-CONN n39_a_paulfellows_26->n39_a_paulfellows_27 n39_a_paulfellows_29 IP-INF n39_a_paulfellows_26->n39_a_paulfellows_29 n39_a_paulfellows_27->n39_a_paulfellows_28 n39_a_paulfellows_30 TO n39_a_paulfellows_29->n39_a_paulfellows_30 n39_a_paulfellows_32 VB;__ n39_a_paulfellows_29->n39_a_paulfellows_32 n39_a_paulfellows_34 NP-OB1 n39_a_paulfellows_29->n39_a_paulfellows_34 n39_a_paulfellows_30->n39_a_paulfellows_31 n39_a_paulfellows_32->n39_a_paulfellows_33 n39_a_paulfellows_35 PRO n39_a_paulfellows_34->n39_a_paulfellows_35 n39_a_paulfellows_35->n39_a_paulfellows_36 n39_a_paulfellows_37->n39_a_paulfellows_38 
( (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))