Context                Previous, Next                Top


14_a_paulfellows
And that's why you've got an ARM in your phone today, it would take no power to keep a 3 micron ARM with 25000 transistors would run for 30 seconds off the energy stored in the fan.

%3 r_0014_0001__And_r_0014_0003___apos_s And 's r_0014_0002__that that r_0014_0001__And_r_0014_0003___apos_s->r_0014_0002__that [arg0] r_0014_0006___apos_ve 've r_0014_0001__And_r_0014_0003___apos_s->r_0014_0006___apos_ve [prd] r_0014_0004__why why r_0014_0006___apos_ve->r_0014_0004__why [nim] r_0014_0007__got got r_0014_0006___apos_ve->r_0014_0007__got [scope] r_0014_0005__you you r_0014_0007__got->r_0014_0005__you [arg0] r_0014_0008__an_r_0014_0009__ARM an ARM r_0014_0007__got->r_0014_0008__an_r_0014_0009__ARM [arg1] r_0014_0012__phone phone r_0014_0007__got->r_0014_0012__phone in [nim] r_0014_0013__today today r_0014_0007__got->r_0014_0013__today [nim] r_0014_0012__phone->r_0014_0005__you [gen] 
arc(r_0014_0001__And_r_0014_0003___apos_s, r_0014_0002__that, arg0).
arc(r_0014_0001__And_r_0014_0003___apos_s, r_0014_0006___apos_ve, prd).
arc(r_0014_0006___apos_ve, r_0014_0004__why, nim11).
arc(r_0014_0006___apos_ve, r_0014_0007__got, scope).
arc(r_0014_0007__got, r_0014_0005__you, arg0).
arc(r_0014_0007__got, r_0014_0008__an_r_0014_0009__ARM, arg1).
arc(r_0014_0007__got, r_0014_0012__phone, r_0014_0010__in_nim30).
arc(r_0014_0007__got, r_0014_0013__today, nim36).
arc(r_0014_0012__phone, r_0014_0005__you, gen).


%3 r_0014_0001__And_r_0014_0003___apos_s And 's r_0014_0002__that that r_0014_0001__And_r_0014_0003___apos_s->r_0014_0002__that [arg0] r_0014_0006___apos_ve_r_0014_0007__got 've got r_0014_0001__And_r_0014_0003___apos_s->r_0014_0006___apos_ve_r_0014_0007__got [prd] r_0014_0004__why why r_0014_0006___apos_ve_r_0014_0007__got->r_0014_0004__why [nim] r_0014_0005__you you r_0014_0006___apos_ve_r_0014_0007__got->r_0014_0005__you [arg0] r_0014_0008__an_r_0014_0009__ARM an ARM r_0014_0006___apos_ve_r_0014_0007__got->r_0014_0008__an_r_0014_0009__ARM [arg1] r_0014_0012__phone phone r_0014_0006___apos_ve_r_0014_0007__got->r_0014_0012__phone in [nim] r_0014_0013__today today r_0014_0006___apos_ve_r_0014_0007__got->r_0014_0013__today [nim] r_0014_0012__phone->r_0014_0005__you [gen] 
fof(formula,axiom,
    ? [R_14_1_AND_APOS_S,R_14_2_THAT,R_14_6__APOS_VE_GOT,R_14_8_AN_ARM,R_14_4_WHY,R_14_13_TODAY,R_14_12_PHONE,R_14_5_YOU] :
      ( that(R_14_2_THAT)
      & an_ARM(R_14_8_AN_ARM)
      & why(R_14_4_WHY)
      & today(R_14_13_TODAY)
      & you(R_14_5_YOU)
      & and_apos_s(R_14_1_AND_APOS_S,R_14_2_THAT,R_14_6__APOS_VE_GOT)
      & _apos_ve_got(R_14_6__APOS_VE_GOT,R_14_5_YOU,R_14_8_AN_ARM)
      & nim11(R_14_6__APOS_VE_GOT,R_14_4_WHY)
      & nim36(R_14_6__APOS_VE_GOT,R_14_13_TODAY)
      & in_nim30(R_14_6__APOS_VE_GOT,R_14_12_PHONE)
      & phone(R_14_12_PHONE)
      & gen(R_14_12_PHONE,R_14_5_YOU) ) ).


n14_a_paulfellows n14_a_paulfellows_3 And n14_a_paulfellows_6 that n14_a_paulfellows_8 's n14_a_paulfellows_13 why n14_a_paulfellows_16 you n14_a_paulfellows_18 've n14_a_paulfellows_21 got n14_a_paulfellows_24 an n14_a_paulfellows_26 ARM n14_a_paulfellows_29 in n14_a_paulfellows_33 your n14_a_paulfellows_35 phone n14_a_paulfellows_38 today n14_a_paulfellows_40 , n14_a_paulfellows_45 it n14_a_paulfellows_47 would n14_a_paulfellows_50 take n14_a_paulfellows_53 no n14_a_paulfellows_55 power n14_a_paulfellows_58 to n14_a_paulfellows_60 keep n14_a_paulfellows_65 a n14_a_paulfellows_67 3 n14_a_paulfellows_69 micron n14_a_paulfellows_71 ARM n14_a_paulfellows_74 with n14_a_paulfellows_77 25000 n14_a_paulfellows_79 transistors n14_a_paulfellows_81 would n14_a_paulfellows_84 run n14_a_paulfellows_87 for n14_a_paulfellows_90 30 n14_a_paulfellows_92 seconds n14_a_paulfellows_95 off n14_a_paulfellows_98 the n14_a_paulfellows_100 energy n14_a_paulfellows_103 stored n14_a_paulfellows_106 in n14_a_paulfellows_109 the n14_a_paulfellows_111 fan n14_a_paulfellows_113 . n14_a_paulfellows_1 IP-MAT n14_a_paulfellows_2 CONJ;_cl_ n14_a_paulfellows_1->n14_a_paulfellows_2 n14_a_paulfellows_4 NP-SBJ n14_a_paulfellows_1->n14_a_paulfellows_4 n14_a_paulfellows_7 BEP;_equ_Vw_ n14_a_paulfellows_1->n14_a_paulfellows_7 n14_a_paulfellows_9 CP-QUE-PRD n14_a_paulfellows_1->n14_a_paulfellows_9 n14_a_paulfellows_39 PUNC n14_a_paulfellows_1->n14_a_paulfellows_39 n14_a_paulfellows_41 PRN n14_a_paulfellows_1->n14_a_paulfellows_41 n14_a_paulfellows_112 PUNC n14_a_paulfellows_1->n14_a_paulfellows_112 n14_a_paulfellows_2->n14_a_paulfellows_3 n14_a_paulfellows_5 D;_nphd_ n14_a_paulfellows_4->n14_a_paulfellows_5 n14_a_paulfellows_5->n14_a_paulfellows_6 n14_a_paulfellows_7->n14_a_paulfellows_8 n14_a_paulfellows_10 IP-SUB n14_a_paulfellows_9->n14_a_paulfellows_10 n14_a_paulfellows_11 ADVP-NIM n14_a_paulfellows_10->n14_a_paulfellows_11 n14_a_paulfellows_14 NP-SBJ n14_a_paulfellows_10->n14_a_paulfellows_14 n14_a_paulfellows_17 HVP;_cat_Ve_ n14_a_paulfellows_10->n14_a_paulfellows_17 n14_a_paulfellows_19 IP-PPL-CAT n14_a_paulfellows_10->n14_a_paulfellows_19 n14_a_paulfellows_12 WADV n14_a_paulfellows_11->n14_a_paulfellows_12 n14_a_paulfellows_12->n14_a_paulfellows_13 n14_a_paulfellows_15 PRO n14_a_paulfellows_14->n14_a_paulfellows_15 n14_a_paulfellows_15->n14_a_paulfellows_16 n14_a_paulfellows_17->n14_a_paulfellows_18 n14_a_paulfellows_20 VVN;_Tn_ n14_a_paulfellows_19->n14_a_paulfellows_20 n14_a_paulfellows_22 NP-OB1 n14_a_paulfellows_19->n14_a_paulfellows_22 n14_a_paulfellows_27 PP-NIM n14_a_paulfellows_19->n14_a_paulfellows_27 n14_a_paulfellows_36 NP-NIM n14_a_paulfellows_19->n14_a_paulfellows_36 n14_a_paulfellows_20->n14_a_paulfellows_21 n14_a_paulfellows_23 D n14_a_paulfellows_22->n14_a_paulfellows_23 n14_a_paulfellows_25 N n14_a_paulfellows_22->n14_a_paulfellows_25 n14_a_paulfellows_23->n14_a_paulfellows_24 n14_a_paulfellows_25->n14_a_paulfellows_26 n14_a_paulfellows_28 P-ROLE n14_a_paulfellows_27->n14_a_paulfellows_28 n14_a_paulfellows_30 NP n14_a_paulfellows_27->n14_a_paulfellows_30 n14_a_paulfellows_28->n14_a_paulfellows_29 n14_a_paulfellows_31 NP-GEN n14_a_paulfellows_30->n14_a_paulfellows_31 n14_a_paulfellows_34 N n14_a_paulfellows_30->n14_a_paulfellows_34 n14_a_paulfellows_32 PRO;_genm_ n14_a_paulfellows_31->n14_a_paulfellows_32 n14_a_paulfellows_32->n14_a_paulfellows_33 n14_a_paulfellows_34->n14_a_paulfellows_35 n14_a_paulfellows_37 N n14_a_paulfellows_36->n14_a_paulfellows_37 n14_a_paulfellows_37->n14_a_paulfellows_38 n14_a_paulfellows_39->n14_a_paulfellows_40 n14_a_paulfellows_42 IP-MAT n14_a_paulfellows_41->n14_a_paulfellows_42 n14_a_paulfellows_43 NP-SBJ n14_a_paulfellows_42->n14_a_paulfellows_43 n14_a_paulfellows_46 MD;_cat_Vi_ n14_a_paulfellows_42->n14_a_paulfellows_46 n14_a_paulfellows_48 IP-INF-CAT n14_a_paulfellows_42->n14_a_paulfellows_48 n14_a_paulfellows_61 PRN n14_a_paulfellows_42->n14_a_paulfellows_61 n14_a_paulfellows_44 PRO;_provisional_ n14_a_paulfellows_43->n14_a_paulfellows_44 n14_a_paulfellows_44->n14_a_paulfellows_45 n14_a_paulfellows_46->n14_a_paulfellows_47 n14_a_paulfellows_49 VB;__ n14_a_paulfellows_48->n14_a_paulfellows_49 n14_a_paulfellows_51 NP-OB1 n14_a_paulfellows_48->n14_a_paulfellows_51 n14_a_paulfellows_56 IP-INF-NSBJ n14_a_paulfellows_48->n14_a_paulfellows_56 n14_a_paulfellows_49->n14_a_paulfellows_50 n14_a_paulfellows_52 Q n14_a_paulfellows_51->n14_a_paulfellows_52 n14_a_paulfellows_54 N n14_a_paulfellows_51->n14_a_paulfellows_54 n14_a_paulfellows_52->n14_a_paulfellows_53 n14_a_paulfellows_54->n14_a_paulfellows_55 n14_a_paulfellows_57 TO n14_a_paulfellows_56->n14_a_paulfellows_57 n14_a_paulfellows_59 VB;__ n14_a_paulfellows_56->n14_a_paulfellows_59 n14_a_paulfellows_57->n14_a_paulfellows_58 n14_a_paulfellows_59->n14_a_paulfellows_60 n14_a_paulfellows_62 IP-MAT n14_a_paulfellows_61->n14_a_paulfellows_62 n14_a_paulfellows_63 NP-SBJ n14_a_paulfellows_62->n14_a_paulfellows_63 n14_a_paulfellows_80 MD;_cat_Vi_ n14_a_paulfellows_62->n14_a_paulfellows_80 n14_a_paulfellows_82 IP-INF-CAT n14_a_paulfellows_62->n14_a_paulfellows_82 n14_a_paulfellows_64 D n14_a_paulfellows_63->n14_a_paulfellows_64 n14_a_paulfellows_66 NUM n14_a_paulfellows_63->n14_a_paulfellows_66 n14_a_paulfellows_68 N n14_a_paulfellows_63->n14_a_paulfellows_68 n14_a_paulfellows_70 NPR n14_a_paulfellows_63->n14_a_paulfellows_70 n14_a_paulfellows_72 PP n14_a_paulfellows_63->n14_a_paulfellows_72 n14_a_paulfellows_64->n14_a_paulfellows_65 n14_a_paulfellows_66->n14_a_paulfellows_67 n14_a_paulfellows_68->n14_a_paulfellows_69 n14_a_paulfellows_70->n14_a_paulfellows_71 n14_a_paulfellows_73 P-ROLE n14_a_paulfellows_72->n14_a_paulfellows_73 n14_a_paulfellows_75 NP n14_a_paulfellows_72->n14_a_paulfellows_75 n14_a_paulfellows_73->n14_a_paulfellows_74 n14_a_paulfellows_76 NUM n14_a_paulfellows_75->n14_a_paulfellows_76 n14_a_paulfellows_78 NS n14_a_paulfellows_75->n14_a_paulfellows_78 n14_a_paulfellows_76->n14_a_paulfellows_77 n14_a_paulfellows_78->n14_a_paulfellows_79 n14_a_paulfellows_80->n14_a_paulfellows_81 n14_a_paulfellows_83 VB;__ n14_a_paulfellows_82->n14_a_paulfellows_83 n14_a_paulfellows_85 PP-NIM n14_a_paulfellows_82->n14_a_paulfellows_85 n14_a_paulfellows_93 PP-NIM n14_a_paulfellows_82->n14_a_paulfellows_93 n14_a_paulfellows_83->n14_a_paulfellows_84 n14_a_paulfellows_86 P-ROLE n14_a_paulfellows_85->n14_a_paulfellows_86 n14_a_paulfellows_88 NP n14_a_paulfellows_85->n14_a_paulfellows_88 n14_a_paulfellows_86->n14_a_paulfellows_87 n14_a_paulfellows_89 NUM n14_a_paulfellows_88->n14_a_paulfellows_89 n14_a_paulfellows_91 NS n14_a_paulfellows_88->n14_a_paulfellows_91 n14_a_paulfellows_89->n14_a_paulfellows_90 n14_a_paulfellows_91->n14_a_paulfellows_92 n14_a_paulfellows_94 P-ROLE n14_a_paulfellows_93->n14_a_paulfellows_94 n14_a_paulfellows_96 NP n14_a_paulfellows_93->n14_a_paulfellows_96 n14_a_paulfellows_94->n14_a_paulfellows_95 n14_a_paulfellows_97 D n14_a_paulfellows_96->n14_a_paulfellows_97 n14_a_paulfellows_99 N n14_a_paulfellows_96->n14_a_paulfellows_99 n14_a_paulfellows_101 IP-PPL n14_a_paulfellows_96->n14_a_paulfellows_101 n14_a_paulfellows_97->n14_a_paulfellows_98 n14_a_paulfellows_99->n14_a_paulfellows_100 n14_a_paulfellows_102 VVN;__ n14_a_paulfellows_101->n14_a_paulfellows_102 n14_a_paulfellows_104 PP-NIM n14_a_paulfellows_101->n14_a_paulfellows_104 n14_a_paulfellows_102->n14_a_paulfellows_103 n14_a_paulfellows_105 P-ROLE n14_a_paulfellows_104->n14_a_paulfellows_105 n14_a_paulfellows_107 NP n14_a_paulfellows_104->n14_a_paulfellows_107 n14_a_paulfellows_105->n14_a_paulfellows_106 n14_a_paulfellows_108 D n14_a_paulfellows_107->n14_a_paulfellows_108 n14_a_paulfellows_110 N n14_a_paulfellows_107->n14_a_paulfellows_110 n14_a_paulfellows_108->n14_a_paulfellows_109 n14_a_paulfellows_110->n14_a_paulfellows_111 n14_a_paulfellows_112->n14_a_paulfellows_113 
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D;_nphd_ that;{that}))
          (BEP;_equ_Vw_ <apos>s;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ (PRO you;{you}))
                              (HVP;_cat_Ve_ <apos>ve;{have})
                              (IP-PPL-CAT (VVN;_Tn_ got;{get})
                                          (NP-OB1 (D an;{an})
                                                  (N ARM;{arm}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                      (N phone;{phone})))
                                          (NP-NIM (N today;{today})))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO;_provisional_ it;{it}))
                       (MD;_cat_Vi_ would;{will})
                       (IP-INF-CAT (VB;__ take;{take})
                                   (NP-OB1 (Q no;{no})
                                           (N power;{power}))
                                   (IP-INF-NSBJ (TO to;{to})
                                                (VB;__ keep;{keep})))
                       (PRN (IP-MAT (NP-SBJ (D a;{a})
                                            (NUM 3)
                                            (N micron;{micron})
                                            (NPR ARM;{ARM})
                                            (PP (P-ROLE with;{with})
                                                (NP (NUM 25000)
                                                    (NS transistors;{transistor}))))
                                    (MD;_cat_Vi_ would;{will})
                                    (IP-INF-CAT (VB;__ run;{run})
                                                (PP-NIM (P-ROLE for;{for})
                                                        (NP (NUM 30)
                                                            (NS seconds;{second})))
                                                (PP-NIM (P-ROLE off;{off})
                                                        (NP (D the;{the})
                                                            (N energy;{energy})
                                                            (IP-PPL (VVN;__ stored;{store})
                                                                    (PP-NIM (P-ROLE in;{in})
                                                                            (NP (D the;{the})
                                                                                (N fan;{fan})))))))))))
          (PUNC .))
  (ID 14_a_paulfellows))