Context                Previous, Next                Top


48_a_history_of_qed
It's available for FTP in both Unix and 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_1 both n48_a_history_of_qed__1_3_3_2_1_1_2_1_1 Unix n48_a_history_of_qed__1_3_3_2_1_1_3_1_1 and n48_a_history_of_qed__1_3_3_2_1_1_3_2_1_1 Windows n48_a_history_of_qed__1_3_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_2 NS n48_a_history_of_qed__1_3_3_2->n48_a_history_of_qed__1_3_3_2_2 n48_a_history_of_qed__1_3_3_2_1_1 NLYR 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_1_1 CONJ 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_1_2 NLYR n48_a_history_of_qed__1_3_3_2_1_1->n48_a_history_of_qed__1_3_3_2_1_1_2 n48_a_history_of_qed__1_3_3_2_1_1_3 CONJP n48_a_history_of_qed__1_3_3_2_1_1->n48_a_history_of_qed__1_3_3_2_1_1_3 n48_a_history_of_qed__1_3_3_2_1_1_1->n48_a_history_of_qed__1_3_3_2_1_1_1_1 n48_a_history_of_qed__1_3_3_2_1_1_2_1 NPR n48_a_history_of_qed__1_3_3_2_1_1_2->n48_a_history_of_qed__1_3_3_2_1_1_2_1 n48_a_history_of_qed__1_3_3_2_1_1_2_1->n48_a_history_of_qed__1_3_3_2_1_1_2_1_1 n48_a_history_of_qed__1_3_3_2_1_1_3_1 CONJ n48_a_history_of_qed__1_3_3_2_1_1_3->n48_a_history_of_qed__1_3_3_2_1_1_3_1 n48_a_history_of_qed__1_3_3_2_1_1_3_2 NLYR n48_a_history_of_qed__1_3_3_2_1_1_3->n48_a_history_of_qed__1_3_3_2_1_1_3_2 n48_a_history_of_qed__1_3_3_2_1_1_3_1->n48_a_history_of_qed__1_3_3_2_1_1_3_1_1 n48_a_history_of_qed__1_3_3_2_1_1_3_2_1 NPR n48_a_history_of_qed__1_3_3_2_1_1_3_2->n48_a_history_of_qed__1_3_3_2_1_1_3_2_1 n48_a_history_of_qed__1_3_3_2_1_1_3_2_1->n48_a_history_of_qed__1_3_3_2_1_1_3_2_1_1 n48_a_history_of_qed__1_3_3_2_2->n48_a_history_of_qed__1_3_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 (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))


%3 r_0048_0011__versions versions r_0048_0007__both_r_0048_0009__and both and r_0048_0011__versions->r_0048_0007__both_r_0048_0009__and [nim] r_0048_0010__Windows Windows r_0048_0007__both_r_0048_0009__and->r_0048_0010__Windows [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_0011__versions 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] 
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_0011__versions,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,conj2).
arc(r_0048_0011__versions,r_0048_0007__both_r_0048_0009__and,nim).


%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_0011__versions versions r_0048_0003__available->r_0048_0011__versions in r_0048_0007__both_r_0048_0009__and both and r_0048_0011__versions->r_0048_0007__both_r_0048_0009__and [nim] r_0048_0008__Unix Unix r_0048_0007__both_r_0048_0009__and->r_0048_0008__Unix [conj1] r_0048_0010__Windows Windows r_0048_0007__both_r_0048_0009__and->r_0048_0010__Windows [conj2] 
fof(formula,axiom,
    ? [R_0048_0001__IT,R_0048_0005__FTP,R_0048_0008__UNIX,R_0048_0010__WINDOWS,R_0048_0007__BOTH_R_0048_0009__AND,R_0048_0011__VERSIONS,R_0048_0003__AVAILABLE,R_0048_0002___APOS_S] :
      ( r_0048_0001__It(R_0048_0001__IT)
      & r_0048_0005__FTP(R_0048_0005__FTP)
      & r_0048_0008__Unix(R_0048_0008__UNIX)
      & r_0048_0010__Windows(R_0048_0010__WINDOWS)
      & r_0048_0002___apos_s(R_0048_0002___APOS_S)
      & has_prd(R_0048_0002___APOS_S,R_0048_0003__AVAILABLE)
      & r_0048_0003__available(R_0048_0003__AVAILABLE)
      & has_r_0048_0006__in(R_0048_0003__AVAILABLE,R_0048_0011__VERSIONS)
      & r_0048_0011__versions(R_0048_0011__VERSIONS)
      & has_nim(R_0048_0011__VERSIONS,R_0048_0007__BOTH_R_0048_0009__AND)
      & r_0048_0007__both_r_0048_0009__and(R_0048_0007__BOTH_R_0048_0009__AND)
      & has_conj2(R_0048_0007__BOTH_R_0048_0009__AND,R_0048_0010__WINDOWS)
      & has_conj1(R_0048_0007__BOTH_R_0048_0009__AND,R_0048_0008__UNIX)
      & has_r_0048_0004__for(R_0048_0003__AVAILABLE,R_0048_0005__FTP)
      & has_arg0(R_0048_0002___APOS_S,R_0048_0001__IT) ) ).