
*** Yes
> > mathew
mathew(...)
mathew(...)
mathew(...)

*** Yes
--1> 
*** No
> robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...) & person
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)

*** No
> > robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
robot(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)
three_billion_dollar_man(...)

*** No
> > 
