| Date and time run: | February 20, 2008, 10:48 AM EST |
| Version: | SNePS 2.7 |
| Platform: | nickelback.cse.buffalo.edu |
| Description: | Sun Sunfire X4200 with 8.0 GB of main memory and 4 Dual Core AMD Opteron (tm) Processor 285s, clocked at 2592 MHz. |
| Operating System: | RedHat Enterprise Linux 4 (64-bit) |
| Language: | International Allegro CL Enterprise Edition 8.1 [Linux (x86)] (Oct 16, 2007 16:39) |
| Copyright (C) 1985-2007, Franz Inc., Oakland, CA, USA. All Rights Reserved. | |
| Optimization settings: safety 1, speed 3, space 0, and debug 0. |
: Who are you? My name is `Cassie'. Time (sec.): 0.02 : Who am I? Your name is `Stu' and you are a professor. Time (sec.): 0.17 : Mary's telephone number is Mike's telephone number. I understand that Mike's telephone number is Mary's telephone number. Time (sec.): 0.02 : Pat knew Mike's telephone number. I understand that Pat knew Mike's telephone number. Time (sec.): 0.0 : Pat dialed Mike's telephone number. I understand that Pat dialed Mike's telephone number. Time (sec.): 0.02 : Did Pat dial Mary's telephone number? Yes, Pat dialed Mary's telephone number. Time (sec.): 0.04 : Did Pat know Mary's telephone number? I don't know. Time (sec.): 0.02 : Fido bit Bill. I understand that Fido bit Bill. Time (sec.): 0.02 : Lucy believed that Rover bit Bill. I understand that Lucy believed that Rover bit Bill. Time (sec.): 0.01 : Lucy said `Bill bit Rover'. I understand that Lucy said `Bill bit Rover'. Time (sec.): 0.01 : Did Fido bite Bill? Yes, Fido bit Bill. Time (sec.): 0.02 : Did Rover bite Bill? I don't know. Time (sec.): 0.04 : Did Bill bite Rover? I don't know. Time (sec.): 0.02 : What did Lucy believe? Lucy believed that Rover bit Bill. Time (sec.): 0.04 : What did Lucy say? Lucy said `Bill bit Rover'. Time (sec.): 0.02 : Either Pat is a man or Pat is a woman or Pat is a robot. I understand that Pat is a robot or Pat is a woman or Pat is a man. Time (sec.): 0.02 : Pat is a woman. I understand that Pat is a woman. Time (sec.): 0.01 : What is Pat? Pat is a woman and Pat is not a robot and Pat is not a man. Time (sec.): 0.3 : Cassie is an intelligent agent. I understand that I am the intelligent agent. Time (sec.): 0.01 : Bill is a professor. I understand that Bill is a professor. Time (sec.): 0.01 : Talk to Bill. PML: The FEVAHR is starting to talk to "Bill" I am talking to you, Bill. Time (sec.): 0.04 : Who am I? You are a professor and your name is `Bill'. Time (sec.): 0.43 : Who are you? My name is `Cassie'. Time (sec.): 0.38 : Who are you? My name is `Cassie' and I am the intelligent agent. Time (sec.): 0.76 : Who have you talked to? I talked to Stu and I am talking to you. Time (sec.): 0.02 : Talk to Stu. PML: The FEVAHR is starting to talk to "Stu" I am talking to you, Stu. Time (sec.): 0.06 : Who have you talked to? I talked to you and I talked to Bill and I am talking to you. Time (sec.): 0.03