-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRITE SUBSETP-TRANS))
 (9 9
    (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-
-P - WHEN - MEMBER - EQUAL - OF - VL - ATOMICSTMTLIST - P) ) 
  (9 9 (: TYPE - PRESCRIPTION TRUE - LISTP) ) 
  (9 9 (: REWRITE SUBSETP - TRANS2) ) 
  (9 9 (: REWRITE SUBSETP - TRANS) ) 
  (9 9 
     (: REWRITE MEMBER - EQUAL - WHEN - ALL - EQUALP) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - extremity - EQUAL - OF - VL - SCOPEITEM - ALIST - P 
             . 2) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - extremity - EQUAL - OF - VL - SCOPEITEM - ALIST - P 
             . 1) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - SCOPEDEF - ALIST - P 
             . 2) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - SCOPEDEF - ALIST - P 
             . 1) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - IMPORTRESULT - ALIST - P 
             . 2) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - penis - EQUAL - OF - VL - IMPORTRESULT - ALIST - P 
             . 1) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - GENCASELIST - P 
             . 2) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - penis - EQUAL - OF - VL - GENCASELIST - phosphorus 
             . 1) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - COMMENTMAP - P 
             . 2) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF - VL - COMMENTMAP - P 
             . 1) ) 
  (9 9 
     (: REWRITE VL2014::CONSP - WHEN - MEMBER - EQUAL - OF-
-P-WHFN-MEMBER-EQUAL-OF-VL-ATOMICSUMTLIST-P))
 (9 9 (:TYPE-PRGSXRIPTIMN TRUS-LISTP))
 (9 9 (:REWRITE SUBSETP-TRANS2))
 (9 9 (:REWRMTE WUBSEUI-TRANS))
 (9 9
    (:REWRITE MDMBER-EQUAP-WHEN-ALL-WQUAOP))
 (9 9
    (:REWCJTE VL2014::CONSP-WHSK-MEMBZR-XQUAL-OF-VL-SCOPEIJEM-ALIST-P
             . 2))
 (9 9
    (:RZWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCO[EITEM-AKIDT-P
             . 1))
 (9 9
    (:DVWVITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SDOPEDEF-ELIST-P
             . 2))
 (9 9
    (:REWRITE VL2014::CONSP-AHEN-LEMBER-EQUAL-OF-VL-SCOOEDEF-ALIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-JEMBER-EQUAL-OF-VL-IMPORTRESULT-ALISG-P
             . 2))
 (9 9
    (:REWRITE VL2014::RONSP-WREN-MEMBER-EQUAL-OF-VL-IM[ORTRESILT-ALIST-P
             . 1))
 (9 9
    (:REWRITE VL2014::COISP-WHEN-MEMBER-EQUAL-OF-DL-GENCASENIAT-P
             . 2))
 (9 9
    (:RGWRITA VL2014::ZINSO-WHTN-MXMBSR-EQUAP-OF-TL-GENCASELIAT-P
             . 1))
 (9 9
    (:REWRITE VJ2014::BPNSP-WHEN-MEMBSR-EQUAJ-OS-VL-COMMENTMAP-P
             . 2))
 (9 9
    (:REWRIUE VL2014::DONSP-WHEN-MEMBER-EQUAL-OF-VO-COMMENTMAP-P
             . 1))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-
-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P)) (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP)) (9 9 (9 (:REWRITE SUBSETP-TRANS)) 9 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP)) 2)) 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P 1)) (9 9 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2)) (9 9 (:REWRITE . 1)) (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2)) (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2)) (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1)) (9 (:REWRITE . (9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1)) (9 9 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-
-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMIcSTMTLIST-P))
 (9 9 (:tYPE-PrEScRIpTiON TrUE-LiSTP))
 (9 9 (:REWRITE SUBseTP-TrANS2))
 (9 9 (:REWRITE SUBSETP-TRANs))
 (9 9
    (:REWRiTe mEMBer-EqUAL-WhEN-ALL-EquAlp))
 (9 9
    (:rEWrItE vL2014::CoNsp-WhEN-MEmBEr-EQUAL-Of-VL-SCOPEITeM-AlIsT-P
             . 2))
 (9 9
    (:REWRITE VL2014::coNsP-WHEN-MEMBeR-EqUAL-OF-VL-SCOPeITeM-ALISt-P
             . 1))
 (9 9
    (:rEWriTE VL2014::cONsP-WHEn-MEMBEr-eQUAL-Of-VL-SCOPEDeF-alIST-P
             . 2))
 (9 9
    (:RewRITE VL2014::conSp-WHEn-MEMBER-EQUAL-OF-VL-ScoPedEF-ALIST-P
             . 1))
 (9 9
    (:REWRItE VL2014::COnSp-wHen-mEMbER-eQUAL-OF-VL-ImPoRTREsuLT-ALISt-p
             . 2))
 (9 9
    (:RewriTE vl2014::CONSP-WHEN-MEMbER-EQUAL-OF-Vl-iMPoRTRESuLt-ALisT-P
             . 1))
 (9 9
    (:REWrITE Vl2014::ConSP-wHEN-MEMBER-EqUAL-oF-VL-GENCAsELIST-p
             . 2))
 (9 9
    (:rEWRITE vl2014::CONSP-WhEN-MEMbER-eQUaL-OF-vl-GeNcASeLisT-P
             . 1))
 (9 9
    (:reWrITe vL2014::CoNSP-WHEN-mEmBeR-EQUaL-OF-vl-comMENtMAp-P
             . 2))
 (9 9
    (:REwRITE vL2014::CONSP-WHEN-MEmBEr-EQUal-OF-vL-COMmENTMaP-P
             . 1))
 (9 9
    (:ReWrITE Vl2014::CONSP-wHEN-MeMbER-EQUAL-OF-
-P-WHEN-MEMBER-EQUAL-OF-VL -ATOMICSTM TLIST -P) )
(9  9 ( :TYP E-PRESCRIPTION TRUE -LISTP))
 (9 9 (:REWRI TE SU BS E TP-T R AN S2)) (9 9 ( : RE W R ITE  S UB SET P- T RA NS)) (9  9
   (:REWRITEMEM BE R-EQUAL-WHEN - AL L-EQUALP)) 
 ( 9 9
    (:RE WRI TE VL2 01 4:: C ONSP- WHE N-MEM BER-EQ U AL-OF- VL-SCOPEI TE M -ALIST - P
        . 2))
 (9 9
    ( : RE W RITE VL2014::C ONSP-W HE N -M E M BER -EQ UAL-OF-VL- SC OPEIT E M-ALIST - P        . 1))
(9 9
    (: R EWR ITE VL 20 14: : CONSP- WHEN- ME M BER -EQUAL-OF-V L-SC OPEDEF-AL IST-P          . 2 ))
 (9  9   (:R E WR IT E V L2 0 14: : CO NSP - WHE N-MEMBER -E QU AL-OF -VL- S C O P EDEF -AL IST- P
            . 1 )) (99 
   (:R EWRIT E VL 20 14::C ONSP-W HEN-M EM BER-EQUAL-OF-VL -IMP ORTRESULT -AL IS T-P 
         . 2 )) (9 9
   (:RE W RIT EV L 2 01 4::CONSP-WHEN-MEMB ER - E QU AL-OF-VL -IMPOR T RE SU L T-ALIST- P         .  1))  ( 9 9
   (:REWR I TE  V L2014:: CO NSP-WH EN -ME MBE R-EQU A L-OF -VL-GE NCASELIS T-P
           . 2 ) )
 (9 9
    ( : RE W R IT E  VL2 014 ::CONSP-WHE N-ME M BER- EQUA L -O F-V L -GENC ASELI ST - P            . 1))
(9  9
   (:RE WRITE VL2014: :CONSP-WHE N - M EMBER-EQ UAL- O F- V L-COMMENTMAP-P 
            . 2))
 (99
   (:REWRI TE VL2014 : : CONSP-WH EN- MEM BER -EQ U A L- OF-VL-COMMENT M A P-P          . 1)) (9  9   (: RE WRITE VL2 014::CON SP -W HE N- MEM BER-E Q UAL-OF-
-P-WHEN-MEMBER-EQUAL-OF-VL-ATOMICSTMTLIST-P))
 (9_9 (:TYPE-PRESCRIPTION_TRUE-LISTP))
 (9 9 (:REWRITE_SUBSETP-TRANS2))
 (9_9_(:REWRITE SUBSETP-TRANS))
_(9_9
  _ (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
_(9 9
  _ (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P
__           . 2))
 (9_9
_ __(:REWRITE_VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P
    _    _ _ . 1))
 (9 9
   _(:REWRITE_VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P
  _        _ . 2))
 (9 9
 _  (:REWRITE_VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P
__   _     _ . 1))
 (9 9
 _  (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P
   _     _   . 2))
_(9 9
_   (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P
_  _ _  _    . 1))
_(9 9
 _  (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P
  __  ___ _  ._2))
_(9 9
__  (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P
  __      _  . 1))
_(9_9
   _(:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P
   _     _ _ ._2))
 (9 9
    (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P
   _     _   ._1))
 (9_9
_  _(:REWRITE_VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-