Context                Previous, Next                Top


48_a_history_of_qed
It's available for FTP in both Unix and Windows versions;

%3 r_0048_0002___apos_s 's r_0048_0001__It It r_0048_0002___apos_s->r_0048_0001__It [arg0] r_0048_0003__available available r_0048_0002___apos_s->r_0048_0003__available [prd] r_0048_0005__FTP FTP r_0048_0003__available->r_0048_0005__FTP for r_0048_0007__both_r_0048_0009__and both and r_0048_0003__available->r_0048_0007__both_r_0048_0009__and in r_0048_0008__Unix Unix r_0048_0007__both_r_0048_0009__and->r_0048_0008__Unix [conj1] r_0048_0010__Windows_r_0048_0011__versions Windows versions r_0048_0007__both_r_0048_0009__and->r_0048_0010__Windows_r_0048_0011__versions [conj2] 
arc(r_0048_0002___apos_s, r_0048_0001__It, arg0).
arc(r_0048_0002___apos_s, r_0048_0003__available, prd).
arc(r_0048_0003__available, r_0048_0005__FTP, r_0048_0004__for).
arc(r_0048_0003__available, r_0048_0007__both_r_0048_0009__and, r_0048_0006__in).
arc(r_0048_0007__both_r_0048_0009__and, r_0048_0008__Unix, conj1).
arc(r_0048_0007__both_r_0048_0009__and, r_0048_0010__Windows_r_0048_0011__versions, conj2).


%3 r_0048_0002___apos_s 's r_0048_0001__It It r_0048_0002___apos_s->r_0048_0001__It [arg0] r_0048_0003__available available r_0048_0002___apos_s->r_0048_0003__available [prd] r_0048_0005__FTP FTP r_0048_0003__available->r_0048_0005__FTP for r_0048_0007__both_r_0048_0009__and both and r_0048_0003__available->r_0048_0007__both_r_0048_0009__and in r_0048_0008__Unix Unix r_0048_0007__both_r_0048_0009__and->r_0048_0008__Unix [conj1] r_0048_0010__Windows_r_0048_0011__versions Windows versions r_0048_0007__both_r_0048_0009__and->r_0048_0010__Windows_r_0048_0011__versions [conj2] 
fof(formula,axiom,
    ? [R_48_2__APOS_S,R_48_1_IT,R_48_3_AVAILABLE,R_48_5_FTP,R_48_7_BOTH_AND,R_48_8_UNIX,R_48_10_WINDOWS_VERSIONS] :
      ( it(R_48_1_IT)
      & fTP(R_48_5_FTP)
      & unix(R_48_8_UNIX)
      & windows_versions(R_48_10_WINDOWS_VERSIONS)
      & _apos_s(R_48_2__APOS_S,R_48_1_IT,R_48_3_AVAILABLE)
      & available(R_48_3_AVAILABLE)
      & for(R_48_3_AVAILABLE,R_48_5_FTP)
      & in(R_48_3_AVAILABLE,R_48_7_BOTH_AND)
      & both_and(R_48_7_BOTH_AND)
      & conj1(R_48_7_BOTH_AND,R_48_8_UNIX)
      & conj2(R_48_7_BOTH_AND,R_48_10_WINDOWS_VERSIONS) ) ).


n48_a_history_of_qed n48_a_history_of_qed_4 It n48_a_history_of_qed_6 's n48_a_history_of_qed_9 available n48_a_history_of_qed_12 for n48_a_history_of_qed_15 FTP n48_a_history_of_qed_18 in n48_a_history_of_qed_22 both n48_a_history_of_qed_25 Unix n48_a_history_of_qed_28 and n48_a_history_of_qed_31 Windows n48_a_history_of_qed_33 versions n48_a_history_of_qed_35 ; n48_a_history_of_qed_1 IP-MAT n48_a_history_of_qed_2 NP-SBJ n48_a_history_of_qed_1->n48_a_history_of_qed_2 n48_a_history_of_qed_5 BEP;_La_ n48_a_history_of_qed_1->n48_a_history_of_qed_5 n48_a_history_of_qed_7 ADJP-PRD n48_a_history_of_qed_1->n48_a_history_of_qed_7 n48_a_history_of_qed_34 PUNC n48_a_history_of_qed_1->n48_a_history_of_qed_34 n48_a_history_of_qed_3 PRO n48_a_history_of_qed_2->n48_a_history_of_qed_3 n48_a_history_of_qed_3->n48_a_history_of_qed_4 n48_a_history_of_qed_5->n48_a_history_of_qed_6 n48_a_history_of_qed_8 ADJ n48_a_history_of_qed_7->n48_a_history_of_qed_8 n48_a_history_of_qed_10 PP n48_a_history_of_qed_7->n48_a_history_of_qed_10 n48_a_history_of_qed_16 PP n48_a_history_of_qed_7->n48_a_history_of_qed_16 n48_a_history_of_qed_8->n48_a_history_of_qed_9 n48_a_history_of_qed_11 P-ROLE n48_a_history_of_qed_10->n48_a_history_of_qed_11 n48_a_history_of_qed_13 NP n48_a_history_of_qed_10->n48_a_history_of_qed_13 n48_a_history_of_qed_11->n48_a_history_of_qed_12 n48_a_history_of_qed_14 N n48_a_history_of_qed_13->n48_a_history_of_qed_14 n48_a_history_of_qed_14->n48_a_history_of_qed_15 n48_a_history_of_qed_17 P-ROLE n48_a_history_of_qed_16->n48_a_history_of_qed_17 n48_a_history_of_qed_19 NP n48_a_history_of_qed_16->n48_a_history_of_qed_19 n48_a_history_of_qed_17->n48_a_history_of_qed_18 n48_a_history_of_qed_20 NLYR n48_a_history_of_qed_19->n48_a_history_of_qed_20 n48_a_history_of_qed_21 CONJ n48_a_history_of_qed_20->n48_a_history_of_qed_21 n48_a_history_of_qed_23 NLYR n48_a_history_of_qed_20->n48_a_history_of_qed_23 n48_a_history_of_qed_26 CONJP n48_a_history_of_qed_20->n48_a_history_of_qed_26 n48_a_history_of_qed_21->n48_a_history_of_qed_22 n48_a_history_of_qed_24 NPR n48_a_history_of_qed_23->n48_a_history_of_qed_24 n48_a_history_of_qed_24->n48_a_history_of_qed_25 n48_a_history_of_qed_27 CONJ n48_a_history_of_qed_26->n48_a_history_of_qed_27 n48_a_history_of_qed_29 NLYR n48_a_history_of_qed_26->n48_a_history_of_qed_29 n48_a_history_of_qed_27->n48_a_history_of_qed_28 n48_a_history_of_qed_30 NPR n48_a_history_of_qed_29->n48_a_history_of_qed_30 n48_a_history_of_qed_32 NS n48_a_history_of_qed_29->n48_a_history_of_qed_32 n48_a_history_of_qed_30->n48_a_history_of_qed_31 n48_a_history_of_qed_32->n48_a_history_of_qed_33 n48_a_history_of_qed_34->n48_a_history_of_qed_35 
( (IP-MAT (NP-SBJ;{SAM} (PRO It;{it}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ available;{available})
                    (PP (P-ROLE for;{for})
                        (NP (N FTP;{ftp})))
                    (PP (P-ROLE in;{in})
                        (NP (NLYR (CONJ both;{both})
                                  (NLYR (NPR Unix;{Unix}))
                                  (CONJP (CONJ and;{and})
                                         (NLYR (NPR Windows;{Windows})
                                               (NS versions;{version})))))))
          (PUNC ;))
  (ID 48_a_history_of_qed))