You are viewing a plain text version of this content. The canonical link for it is here.
Posted to user@nutch.apache.org by Gabriele Kahlout <ga...@mysimpatico.com> on 2011/03/15 10:31:50 UTC
Error: JAVA_HOME is not set despite $NUTCH_JAVA_HOME being echoed
$ export
JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
Gabriele-Kahlouts-MacBook:~ simpatico$ echo
$JAVA_HOME/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
Gabriele-Kahlouts-MacBook:~ simpatico$ export
NUTCH_JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
Gabriele-Kahlouts-MacBook:~ simpatico$ echo $NUTCH_JAVA_HOME
/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
Gabriele-Kahlouts-MacBook:~ simpatico$ cd
/Users/simpatico/Downloads/nutch-1.2
Gabriele-Kahlouts-MacBook:nutch-1.2 simpatico$ sudo bin/nutch admin db
-create
Password:
Error: JAVA_HOME is not set.
--
Regards,
K. Gabriele
--- unchanged since 20/9/10 ---
P.S. If the subject contains "[LON]" or the addressee acknowledges the
receipt within 48 hours then I don't resend the email.
subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧ time(x)
< Now + 48h) ⇒ ¬resend(I, this).
If an email is sent by a sender that is not a trusted contact or the email
does not contain a valid code then the email is not received. A valid code
starts with a hyphen and ends with "X".
∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
L(-[a-z]+[0-9]X)).
Re: Fwd: Error: JAVA_HOME is not set despite $NUTCH_JAVA_HOME being echoed
Posted by Gabriele Kahlout <ga...@mysimpatico.com>.
you are right. I was following the tutorial
here<http://nutch.sourceforge.net/docs/en/tutorial.html>but the
updated tutorial is
this <http://wiki.apache.org/nutch/NutchTutorial#Command_Line_Searching>.
On Tue, Mar 15, 2011 at 12:07 PM, Claudio Martella <
claudio.martella@tis.bz.it> wrote:
> non conosco l'esistenza del comando admin
>
> loocia@loocia-c1:~/crawlers/tis-x$ ./bin/nutch
> Usage: nutch [-core] COMMAND
> where COMMAND is one of:
> crawl one-step crawler for intranets
> readdb read / dump crawl db
> convdb convert crawl db from pre-0.9 format
> mergedb merge crawldb-s, with optional filtering
> readlinkdb read / dump link db
> inject inject new urls into the database
> generate generate new segments to fetch from crawl db
> freegen generate new segments to fetch from text files
> fetch fetch a segment's pages
> parse parse a segment's pages
> readseg read / dump segment data
> mergesegs merge several segments, with optional filtering and
> slicing
> updatedb update crawl db from segments after fetching
> invertlinks create a linkdb from parsed segments
> mergelinkdb merge linkdb-s, with optional filtering
> index run the indexer on parsed segments and linkdb
> solrindex run the solr indexer on parsed segments and linkdb
> merge merge several segment indexes
> dedup remove duplicates from a set of segment indexes
> solrdedup remove duplicates from solr
> plugin load a plugin and run one of its classes main()
> solr404 remove expired documents from solr
> server run a search server
>
>
>
> On 3/15/11 12:04 PM, Gabriele Kahlout wrote:
> > Allora ho un altro problema:
> >
> > $JAVA_HOME
> >
> > michaela:~ simpatico$ export JAVA_HOME=$(/usr/libexec/java_home)
> > michaela:~ simpatico$ cd /Users/simpatico/Downloads/nutch-1.2
> > michaela:nutch-1.2 simpatico*$ bin/nutch admin db -create
> > Exception in thread "main" java.lang.NoClassDefFoundError: admin
> > Caused by: java.lang.ClassNotFoundException: admin
> > at java.net.URLClassLoader$1.run(URLClassLoader.java:202)
> > at java.security.AccessController.doPrivileged(Native Method)
> > at java.net.URLClassLoader.findClass(URLClassLoader.java:190)
> > at java.lang.ClassLoader.loadClass(ClassLoader.java:307)
> > at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
> > at java.lang.ClassLoader.loadClass(ClassLoader.java:248)*
> > michaela:nutch-1.2 simpatico$ sudo bin/nutch admin db -create
> > Password:
> > Error: JAVA_HOME is not set.
> > michaela:nutch-1.2 simpatico$ echo $NUTCH_JAVA_HOME
> >
> > michaela:nutch-1.2 simpatico$ export NUTCH_JAVA_HOME=$JAVA_HOME
> > michaela:nutch-1.2 simpatico$ bin/nutch admin db -create
> > Exception in thread "main" java.lang.NoClassDefFoundError: admin
> > Caused by: java.lang.ClassNotFoundException: admin
> > at java.net.URLClassLoader$1.run(URLClassLoader.java:202)
> > at java.security.AccessController.doPrivileged(Native Method)
> > at java.net.URLClassLoader.findClass(URLClassLoader.java:190)
> > at java.lang.ClassLoader.loadClass(ClassLoader.java:307)
> > at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
> > at java.lang.ClassLoader.loadClass(ClassLoader.java:248)
> >
> >
> > On Tue, Mar 15, 2011 at 12:01 PM, Claudio Martella
> > <claudio.martella@tis.bz.it <ma...@tis.bz.it>> wrote:
> >
> > La tua JAVA_HOME sembra settata correttamente, tuttavia credo che il
> > problema sia dovuto al fatto che lanci il comando con sudo. Non
> > credo ti
> > serva e temo non erediti l'environment.
> >
> >
> > On 3/15/11 11:51 AM, Gabriele Kahlout wrote:
> > > Hai idea di come risolvere?
> > >
> > > ---------- Forwarded message ----------
> > > From: *Gabriele Kahlout* <gabriele@mysimpatico.com
> > <ma...@mysimpatico.com>
> > > <mailto:gabriele@mysimpatico.com <mailto:gabriele@mysimpatico.com
> >>>
> > > Date: Tue, Mar 15, 2011 at 10:43 AM
> > > Subject: Re: Error: JAVA_HOME is not set despite $NUTCH_JAVA_HOME
> > > being echoed
> > > To: user@nutch.apache.org <ma...@nutch.apache.org>
> > <mailto:user@nutch.apache.org <ma...@nutch.apache.org>>
> > >
> > >
> > > not really solved the issue:
> > >
> > >
> > > $ sudo bin/nutch admin db -create
> > > Password:
> > > Error: JAVA_HOME is not set.
> > > michaela:nutch-1.2 simpatico$ export
> > JAVA_HOME=$(/usr/libexec/java_home)
> > > michaela:nutch-1.2 simpatico$ export NUTCH_JAVA_HOME=$JAVA_HOME
> > > michaela:nutch-1.2 simpatico$ sudo bin/nutch admin db -create
> > >
> > > Error: JAVA_HOME is not set.
> > > michaela:nutch-1.2 simpatico$ export
> > JAVA_HOME=$(/usr/libexec/java_home)
> > > michaela:nutch-1.2 simpatico$ sudo bin/nutch admin db -create
> > >
> > > Error: JAVA_HOME is not set.
> > >
> > >
> > > On Tue, Mar 15, 2011 at 10:34 AM, Gabriele Kahlout
> > > <gabriele@mysimpatico.com <ma...@mysimpatico.com>
> > <mailto:gabriele@mysimpatico.com
> > <ma...@mysimpatico.com>>> wrote:
> > >
> > > http://thedesignspace.net/MT2archives/000812.html smells of
> the
> > > solution. I had updated java since the last time nutch
> > worked for me.
> > >
> > >
> > >
> > > On Tue, Mar 15, 2011 at 10:31 AM, Gabriele Kahlout
> > > <gabriele@mysimpatico.com <ma...@mysimpatico.com>
> > <mailto:gabriele@mysimpatico.com
> > <ma...@mysimpatico.com>>> wrote:
> > >
> > > $ export
> > >
> >
> JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> > > Gabriele-Kahlouts-MacBook:~ simpatico$ echo
> > >
> >
> $JAVA_HOME/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> > > Gabriele-Kahlouts-MacBook:~ simpatico$ export
> > >
> >
> NUTCH_JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> > > Gabriele-Kahlouts-MacBook:~ simpatico$ echo
> $NUTCH_JAVA_HOME
> > >
> > /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> > > Gabriele-Kahlouts-MacBook:~ simpatico$ cd
> > > /Users/simpatico/Downloads/nutch-1.2
> > > Gabriele-Kahlouts-MacBook:nutch-1.2 simpatico$ sudo
> > bin/nutch
> > > admin db -create
> > > Password:
> > > Error: JAVA_HOME is not set.
> > >
> > >
> > > --
> > > Regards,
> > > K. Gabriele
> > >
> > > --- unchanged since 20/9/10 ---
> > > P.S. If the subject contains "[LON]" or the addressee
> > > acknowledges the receipt within 48 hours then I don't
> resend
> > > the email.
> > > subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧
> Acknowledges(x,
> > > this) ∧ time(x) < Now + 48h) ⇒ ¬resend(I, this).
> > >
> > > If an email is sent by a sender that is not a trusted
> > contact
> > > or the email does not contain a valid code then the email
> is
> > > not received. A valid code starts with a hyphen and ends
> > with "X".
> > > ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈
> > > subject(x) ∧ y ∈ L(-[a-z]+[0-9]X)).
> > >
> > >
> > >
> > >
> > > --
> > > Regards,
> > > K. Gabriele
> > >
> > > --- unchanged since 20/9/10 ---
> > > P.S. If the subject contains "[LON]" or the addressee
> > acknowledges
> > > the receipt within 48 hours then I don't resend the email.
> > > subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x,
> > this)
> > > ∧ time(x) < Now + 48h) ⇒ ¬resend(I, this).
> > >
> > > If an email is sent by a sender that is not a trusted contact
> or
> > > the email does not contain a valid code then the email is not
> > > received. A valid code starts with a hyphen and ends with "X".
> > > ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈
> > subject(x)
> > > ∧ y ∈ L(-[a-z]+[0-9]X)).
> > >
> > >
> > >
> > >
> > > --
> > > Regards,
> > > K. Gabriele
> > >
> > > --- unchanged since 20/9/10 ---
> > > P.S. If the subject contains "[LON]" or the addressee
> > acknowledges the
> > > receipt within 48 hours then I don't resend the email.
> > > subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this)
> ∧
> > > time(x) < Now + 48h) ⇒ ¬resend(I, this).
> > >
> > > If an email is sent by a sender that is not a trusted contact or
> the
> > > email does not contain a valid code then the email is not
> > received. A
> > > valid code starts with a hyphen and ends with "X".
> > > ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈
> > subject(x) ∧ y
> > > ∈ L(-[a-z]+[0-9]X)).
> > >
> > >
> > >
> > >
> > > --
> > > Regards,
> > > K. Gabriele
> > >
> > > --- unchanged since 20/9/10 ---
> > > P.S. If the subject contains "[LON]" or the addressee
> > acknowledges the
> > > receipt within 48 hours then I don't resend the email.
> > > subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this)
> ∧
> > > time(x) < Now + 48h) ⇒ ¬resend(I, this).
> > >
> > > If an email is sent by a sender that is not a trusted contact or
> the
> > > email does not contain a valid code then the email is not
> > received. A
> > > valid code starts with a hyphen and ends with "X".
> > > ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈
> > subject(x) ∧ y
> > > ∈ L(-[a-z]+[0-9]X)).
> > >
> >
> >
> > --
> > Claudio Martella
> > Digital Technologies
> > Unit Research & Development - Analyst
> >
> > TIS innovation park
> > Via Siemens 19 | Siemensstr. 19
> > 39100 Bolzano | 39100 Bozen
> > Tel. +39 0471 068 123
> > Fax +39 0471 068 129
> > claudio.martella@tis.bz.it <ma...@tis.bz.it>
> > http://www.tis.bz.it
> >
> > Short information regarding use of personal data. According to
> > Section 13 of Italian Legislative Decree no. 196 of 30 June 2003,
> > we inform you that we process your personal data in order to
> > fulfil contractual and fiscal obligations and also to send you
> > information regarding our services and events. Your personal data
> > are processed with and without electronic means and by respecting
> > data subjects' rights, fundamental freedoms and dignity,
> > particularly with regard to confidentiality, personal identity and
> > the right to personal data protection. At any time and without
> > formalities you can write an e-mail to privacy@tis.bz.it
> > <ma...@tis.bz.it> in order to object the processing of
> > your personal data for the purpose of sending advertising
> > materials and also to exercise the right to access personal data
> > and other rights referred to in Section 7 of Decree 196/2003. The
> > data controller is TIS Techno Innovation Alto Adige, Siemens
> > Street n. 19, Bolzano. You can find the complete information on
> > the web site www.tis.bz.it <http://www.tis.bz.it>.
> >
> >
> >
> >
> >
> >
> >
> > --
> > Regards,
> > K. Gabriele
> >
> > --- unchanged since 20/9/10 ---
> > P.S. If the subject contains "[LON]" or the addressee acknowledges the
> > receipt within 48 hours then I don't resend the email.
> > subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧
> > time(x) < Now + 48h) ⇒ ¬resend(I, this).
> >
> > If an email is sent by a sender that is not a trusted contact or the
> > email does not contain a valid code then the email is not received. A
> > valid code starts with a hyphen and ends with "X".
> > ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y
> > ∈ L(-[a-z]+[0-9]X)).
> >
>
>
> --
> Claudio Martella
> Digital Technologies
> Unit Research & Development - Analyst
>
> TIS innovation park
> Via Siemens 19 | Siemensstr. 19
> 39100 Bolzano | 39100 Bozen
> Tel. +39 0471 068 123
> Fax +39 0471 068 129
> claudio.martella@tis.bz.it http://www.tis.bz.it
>
> Short information regarding use of personal data. According to Section 13
> of Italian Legislative Decree no. 196 of 30 June 2003, we inform you that we
> process your personal data in order to fulfil contractual and fiscal
> obligations and also to send you information regarding our services and
> events. Your personal data are processed with and without electronic means
> and by respecting data subjects' rights, fundamental freedoms and dignity,
> particularly with regard to confidentiality, personal identity and the right
> to personal data protection. At any time and without formalities you can
> write an e-mail to privacy@tis.bz.it in order to object the processing of
> your personal data for the purpose of sending advertising materials and also
> to exercise the right to access personal data and other rights referred to
> in Section 7 of Decree 196/2003. The data controller is TIS Techno
> Innovation Alto Adige, Siemens Street n. 19, Bolzano. You can find the
> complete information on the web site www.tis.bz.it.
>
>
>
>
>
--
Regards,
K. Gabriele
--- unchanged since 20/9/10 ---
P.S. If the subject contains "[LON]" or the addressee acknowledges the
receipt within 48 hours then I don't resend the email.
subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧ time(x)
< Now + 48h) ⇒ ¬resend(I, this).
If an email is sent by a sender that is not a trusted contact or the email
does not contain a valid code then the email is not received. A valid code
starts with a hyphen and ends with "X".
∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
L(-[a-z]+[0-9]X)).
Re: Error: JAVA_HOME is not set despite $NUTCH_JAVA_HOME being echoed
Posted by Gabriele Kahlout <ga...@mysimpatico.com>.
not really solved the issue:
$ sudo bin/nutch admin db -create
Password:
Error: JAVA_HOME is not set.
michaela:nutch-1.2 simpatico$ export JAVA_HOME=$(/usr/libexec/java_home)
michaela:nutch-1.2 simpatico$ export NUTCH_JAVA_HOME=$JAVA_HOME
michaela:nutch-1.2 simpatico$ sudo bin/nutch admin db -create
Error: JAVA_HOME is not set.
michaela:nutch-1.2 simpatico$ export JAVA_HOME=$(/usr/libexec/java_home)
michaela:nutch-1.2 simpatico$ sudo bin/nutch admin db -create
Error: JAVA_HOME is not set.
On Tue, Mar 15, 2011 at 10:34 AM, Gabriele Kahlout <gabriele@mysimpatico.com
> wrote:
> http://thedesignspace.net/MT2archives/000812.html smells of the solution.
> I had updated java since the last time nutch worked for me.
>
>
>
> On Tue, Mar 15, 2011 at 10:31 AM, Gabriele Kahlout <
> gabriele@mysimpatico.com> wrote:
>
>> $ export
>> JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
>> Gabriele-Kahlouts-MacBook:~ simpatico$ echo
>> $JAVA_HOME/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
>> Gabriele-Kahlouts-MacBook:~ simpatico$ export
>> NUTCH_JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
>> Gabriele-Kahlouts-MacBook:~ simpatico$ echo $NUTCH_JAVA_HOME
>> /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
>> Gabriele-Kahlouts-MacBook:~ simpatico$ cd
>> /Users/simpatico/Downloads/nutch-1.2
>> Gabriele-Kahlouts-MacBook:nutch-1.2 simpatico$ sudo bin/nutch admin db
>> -create
>> Password:
>> Error: JAVA_HOME is not set.
>>
>>
>> --
>> Regards,
>> K. Gabriele
>>
>> --- unchanged since 20/9/10 ---
>> P.S. If the subject contains "[LON]" or the addressee acknowledges the
>> receipt within 48 hours then I don't resend the email.
>> subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧
>> time(x) < Now + 48h) ⇒ ¬resend(I, this).
>>
>> If an email is sent by a sender that is not a trusted contact or the email
>> does not contain a valid code then the email is not received. A valid code
>> starts with a hyphen and ends with "X".
>> ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
>> L(-[a-z]+[0-9]X)).
>>
>>
>
>
> --
> Regards,
> K. Gabriele
>
> --- unchanged since 20/9/10 ---
> P.S. If the subject contains "[LON]" or the addressee acknowledges the
> receipt within 48 hours then I don't resend the email.
> subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧
> time(x) < Now + 48h) ⇒ ¬resend(I, this).
>
> If an email is sent by a sender that is not a trusted contact or the email
> does not contain a valid code then the email is not received. A valid code
> starts with a hyphen and ends with "X".
> ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
> L(-[a-z]+[0-9]X)).
>
>
--
Regards,
K. Gabriele
--- unchanged since 20/9/10 ---
P.S. If the subject contains "[LON]" or the addressee acknowledges the
receipt within 48 hours then I don't resend the email.
subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧ time(x)
< Now + 48h) ⇒ ¬resend(I, this).
If an email is sent by a sender that is not a trusted contact or the email
does not contain a valid code then the email is not received. A valid code
starts with a hyphen and ends with "X".
∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
L(-[a-z]+[0-9]X)).
Re: Error: JAVA_HOME is not set despite $NUTCH_JAVA_HOME being echoed
Posted by Gabriele Kahlout <ga...@mysimpatico.com>.
http://thedesignspace.net/MT2archives/000812.html smells of the solution. I
had updated java since the last time nutch worked for me.
On Tue, Mar 15, 2011 at 10:31 AM, Gabriele Kahlout <gabriele@mysimpatico.com
> wrote:
> $ export
> JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> Gabriele-Kahlouts-MacBook:~ simpatico$ echo
> $JAVA_HOME/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> Gabriele-Kahlouts-MacBook:~ simpatico$ export
> NUTCH_JAVA_HOME=/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> Gabriele-Kahlouts-MacBook:~ simpatico$ echo $NUTCH_JAVA_HOME
> /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
> Gabriele-Kahlouts-MacBook:~ simpatico$ cd
> /Users/simpatico/Downloads/nutch-1.2
> Gabriele-Kahlouts-MacBook:nutch-1.2 simpatico$ sudo bin/nutch admin db
> -create
> Password:
> Error: JAVA_HOME is not set.
>
>
> --
> Regards,
> K. Gabriele
>
> --- unchanged since 20/9/10 ---
> P.S. If the subject contains "[LON]" or the addressee acknowledges the
> receipt within 48 hours then I don't resend the email.
> subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧
> time(x) < Now + 48h) ⇒ ¬resend(I, this).
>
> If an email is sent by a sender that is not a trusted contact or the email
> does not contain a valid code then the email is not received. A valid code
> starts with a hyphen and ends with "X".
> ∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
> L(-[a-z]+[0-9]X)).
>
>
--
Regards,
K. Gabriele
--- unchanged since 20/9/10 ---
P.S. If the subject contains "[LON]" or the addressee acknowledges the
receipt within 48 hours then I don't resend the email.
subject(this) ∈ L(LON*) ∨ ∃x. (x ∈ MyInbox ∧ Acknowledges(x, this) ∧ time(x)
< Now + 48h) ⇒ ¬resend(I, this).
If an email is sent by a sender that is not a trusted contact or the email
does not contain a valid code then the email is not received. A valid code
starts with a hyphen and ends with "X".
∀x. x ∈ MyInbox ⇒ from(x) ∈ MySafeSenderList ∨ (∃y. y ∈ subject(x) ∧ y ∈
L(-[a-z]+[0-9]X)).