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_0007__both_r_0048_0009__and both and 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] r_0048_0008__Unix Unix r_0048_0007__both_r_0048_0009__and->r_0048_0008__Unix [conj1] r_0048_0003__available available r_0048_0003__available->r_0048_0007__both_r_0048_0009__and in r_0048_0005__FTP FTP r_0048_0003__available->r_0048_0005__FTP for r_0048_0002___apos_s 's r_0048_0002___apos_s->r_0048_0003__available [prd] r_0048_0001__It It r_0048_0002___apos_s->r_0048_0001__It [arg0] 
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__1_1_1_1 It n48_a_history_of_qed__1_2_1 's n48_a_history_of_qed__1_3_1_1 available n48_a_history_of_qed__1_3_2_1_1 for n48_a_history_of_qed__1_3_2_2_1_1 FTP n48_a_history_of_qed__1_3_3_1_1 in n48_a_history_of_qed__1_3_3_2_1_1_1 both n48_a_history_of_qed__1_3_3_2_1_2_1_1 Unix n48_a_history_of_qed__1_3_3_2_1_3_1_1 and n48_a_history_of_qed__1_3_3_2_1_3_2_1_1 Windows n48_a_history_of_qed__1_3_3_2_1_3_2_2_1 versions n48_a_history_of_qed__1_4_1 ; n48_a_history_of_qed__1 IP-MAT n48_a_history_of_qed__1_1 NP-SBJ n48_a_history_of_qed__1->n48_a_history_of_qed__1_1 n48_a_history_of_qed__1_2 BEP;_La_ n48_a_history_of_qed__1->n48_a_history_of_qed__1_2 n48_a_history_of_qed__1_3 ADJP-PRD n48_a_history_of_qed__1->n48_a_history_of_qed__1_3 n48_a_history_of_qed__1_4 PUNC n48_a_history_of_qed__1->n48_a_history_of_qed__1_4 n48_a_history_of_qed__1_1_1 PRO n48_a_history_of_qed__1_1->n48_a_history_of_qed__1_1_1 n48_a_history_of_qed__1_1_1->n48_a_history_of_qed__1_1_1_1 n48_a_history_of_qed__1_2->n48_a_history_of_qed__1_2_1 n48_a_history_of_qed__1_3_1 ADJ n48_a_history_of_qed__1_3->n48_a_history_of_qed__1_3_1 n48_a_history_of_qed__1_3_2 PP n48_a_history_of_qed__1_3->n48_a_history_of_qed__1_3_2 n48_a_history_of_qed__1_3_3 PP n48_a_history_of_qed__1_3->n48_a_history_of_qed__1_3_3 n48_a_history_of_qed__1_3_1->n48_a_history_of_qed__1_3_1_1 n48_a_history_of_qed__1_3_2_1 P-ROLE n48_a_history_of_qed__1_3_2->n48_a_history_of_qed__1_3_2_1 n48_a_history_of_qed__1_3_2_2 NP n48_a_history_of_qed__1_3_2->n48_a_history_of_qed__1_3_2_2 n48_a_history_of_qed__1_3_2_1->n48_a_history_of_qed__1_3_2_1_1 n48_a_history_of_qed__1_3_2_2_1 N n48_a_history_of_qed__1_3_2_2->n48_a_history_of_qed__1_3_2_2_1 n48_a_history_of_qed__1_3_2_2_1->n48_a_history_of_qed__1_3_2_2_1_1 n48_a_history_of_qed__1_3_3_1 P-ROLE n48_a_history_of_qed__1_3_3->n48_a_history_of_qed__1_3_3_1 n48_a_history_of_qed__1_3_3_2 NP n48_a_history_of_qed__1_3_3->n48_a_history_of_qed__1_3_3_2 n48_a_history_of_qed__1_3_3_1->n48_a_history_of_qed__1_3_3_1_1 n48_a_history_of_qed__1_3_3_2_1 NLYR n48_a_history_of_qed__1_3_3_2->n48_a_history_of_qed__1_3_3_2_1 n48_a_history_of_qed__1_3_3_2_1_1 CONJ n48_a_history_of_qed__1_3_3_2_1->n48_a_history_of_qed__1_3_3_2_1_1 n48_a_history_of_qed__1_3_3_2_1_2 NLYR n48_a_history_of_qed__1_3_3_2_1->n48_a_history_of_qed__1_3_3_2_1_2 n48_a_history_of_qed__1_3_3_2_1_3 CONJP n48_a_history_of_qed__1_3_3_2_1->n48_a_history_of_qed__1_3_3_2_1_3 n48_a_history_of_qed__1_3_3_2_1_1->n48_a_history_of_qed__1_3_3_2_1_1_1 n48_a_history_of_qed__1_3_3_2_1_2_1 NPR n48_a_history_of_qed__1_3_3_2_1_2->n48_a_history_of_qed__1_3_3_2_1_2_1 n48_a_history_of_qed__1_3_3_2_1_2_1->n48_a_history_of_qed__1_3_3_2_1_2_1_1 n48_a_history_of_qed__1_3_3_2_1_3_1 CONJ n48_a_history_of_qed__1_3_3_2_1_3->n48_a_history_of_qed__1_3_3_2_1_3_1 n48_a_history_of_qed__1_3_3_2_1_3_2 NLYR n48_a_history_of_qed__1_3_3_2_1_3->n48_a_history_of_qed__1_3_3_2_1_3_2 n48_a_history_of_qed__1_3_3_2_1_3_1->n48_a_history_of_qed__1_3_3_2_1_3_1_1 n48_a_history_of_qed__1_3_3_2_1_3_2_1 NPR n48_a_history_of_qed__1_3_3_2_1_3_2->n48_a_history_of_qed__1_3_3_2_1_3_2_1 n48_a_history_of_qed__1_3_3_2_1_3_2_2 NS n48_a_history_of_qed__1_3_3_2_1_3_2->n48_a_history_of_qed__1_3_3_2_1_3_2_2 n48_a_history_of_qed__1_3_3_2_1_3_2_1->n48_a_history_of_qed__1_3_3_2_1_3_2_1_1 n48_a_history_of_qed__1_3_3_2_1_3_2_2->n48_a_history_of_qed__1_3_3_2_1_3_2_2_1 n48_a_history_of_qed__1_4->n48_a_history_of_qed__1_4_1 
( (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))