Context                Previous, Next                Top


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

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))


%3 r_0039_0012__reboot reboot r_0039_0013__it it r_0039_0012__reboot->r_0039_0013__it [arg1] r_0039_0006__you you r_0039_0012__reboot->r_0039_0006__you [arg0] r_0039_0010__in_order in_order r_0039_0010__in_order->r_0039_0012__reboot [restriction] r_0039_0007__have have r_0039_0010__in_order->r_0039_0007__have [scope] r_0039_0009__stop stop r_0039_0007__have->r_0039_0009__stop [scope] r_0039_0009__stop->r_0039_0006__you [arg0] r_0039_0003__the_r_0039_0004__fan the fan r_0039_0009__stop->r_0039_0003__the_r_0039_0004__fan [inv_arg1] r_0039_0002___apos_s 's r_0039_0002___apos_s->r_0039_0003__the_r_0039_0004__fan [arg0] 
arc(r_0039_0002___apos_s,r_0039_0003__the_r_0039_0004__fan,arg0).
arc(r_0039_0007__have,r_0039_0009__stop,scope).
arc(r_0039_0009__stop,r_0039_0003__the_r_0039_0004__fan,inv_arg1).
arc(r_0039_0009__stop,r_0039_0006__you,arg0).
arc(r_0039_0010__in_order,r_0039_0007__have,scope).
arc(r_0039_0010__in_order,r_0039_0012__reboot,restriction).
arc(r_0039_0012__reboot,r_0039_0006__you,arg0).
arc(r_0039_0012__reboot,r_0039_0013__it,arg1).


%3 r_0039_0002___apos_s 's r_0039_0003__the_r_0039_0004__fan the fan r_0039_0002___apos_s->r_0039_0003__the_r_0039_0004__fan [arg0] r_0039_0007__have_r_0039_0009__stop have stop r_0039_0003__the_r_0039_0004__fan->r_0039_0007__have_r_0039_0009__stop [inv_arg1] r_0039_0006__you you r_0039_0007__have_r_0039_0009__stop->r_0039_0006__you [arg0] r_0039_0010__in_order in_order r_0039_0010__in_order->r_0039_0007__have_r_0039_0009__stop [conj2] r_0039_0012__reboot reboot r_0039_0010__in_order->r_0039_0012__reboot [conj1] r_0039_0012__reboot->r_0039_0006__you [arg0] r_0039_0013__it it r_0039_0012__reboot->r_0039_0013__it [arg1] 
fof(formula,axiom,
    ? [R_0039_0006__YOU,R_0039_0007__HAVE_R_0039_0009__STOP,R_0039_0003__THE_R_0039_0004__FAN,R_0039_0002___APOS_S,R_0039_0013__IT,R_0039_0012__REBOOT,R_0039_0010__IN_ORDER] :
      ( r_0039_0006__you(R_0039_0006__YOU)
      & r_0039_0013__it(R_0039_0013__IT)
      & r_0039_0010__in_order(R_0039_0010__IN_ORDER)
      & has_conj1(R_0039_0010__IN_ORDER,R_0039_0012__REBOOT)
      & r_0039_0012__reboot(R_0039_0012__REBOOT)
      & has_arg1(R_0039_0012__REBOOT,R_0039_0013__IT)
      & has_arg0(R_0039_0012__REBOOT,R_0039_0006__YOU)
      & has_conj2(R_0039_0010__IN_ORDER,R_0039_0007__HAVE_R_0039_0009__STOP)
      & r_0039_0007__have_r_0039_0009__stop(R_0039_0007__HAVE_R_0039_0009__STOP)
      & has_arg0(R_0039_0007__HAVE_R_0039_0009__STOP,R_0039_0006__YOU)
      & r_0039_0002___apos_s(R_0039_0002___APOS_S)
      & has_arg0(R_0039_0002___APOS_S,R_0039_0003__THE_R_0039_0004__FAN)
      & r_0039_0003__the_r_0039_0004__fan(R_0039_0003__THE_R_0039_0004__FAN)
      & has_inv_arg1(R_0039_0003__THE_R_0039_0004__FAN,R_0039_0007__HAVE_R_0039_0009__STOP) ) ).