> ? [some pm#state]

[pm#graph1_on_insurance
     [any #insurance,
          pm#consequence of: a pm#insurance,
          pm#result: an #insurance_policy]
];

[pm#graph2_on_Corolla_AE93_CSI_manual_hatchback
     [the Toyota#Corolla_AE93_CSI_manual_hatchback,
          pm#kind: pm#used_car,
          pm#part: a pm#air_conditioning_system,
          pm#attribute: 120000 #kilometer,
          #color: a #red,
          pm#owner: spamOnly@phmartin.info,
          #monetary_value: 7000 #Australian_dollar,
          pm#location: QLD#Southport,
          pm#object of: (a #sell,
               #asking_price: 6500 #Australian_dollar,
               pm#time: 9/3/2002 ,
               pm#place: QLD#Southport),
          pm#object of: (a #trade,
               pm#time: 21/4/1998 ,
               pm#place: QLD#Southport,
               pm#seller: pm#Car_Carnival,
               pm#customer: spamOnly@phmartin.info,
               #purchase_price: 11400 #Australian_dollar),
          pm#object of: (an #insurance,
               pm#from_time: 28/4/1999 ,
               pm#until_time: 28/4/2000 ,
               pm#seller: pm#Suncorp_Metway,
               #customer: spamOnly@phmartin.info,
               #monetary_value: 476.55 #Australian_dollar)]
](04/03/2002);

//Search time: 0.00044 s, printing time: 0.002 s (according to the Unix function gettimeofday())