> ? [some #written_agreement] [pm#graph1_on_insurance [any #insurance, pm#consequence of: a pm#insurance, pm#result: an #insurance_policy] ]; [pm#graph1_on_insurance [any pm#insurance, pm#result: an #insurance_policy] ]; //Search time: 0.00023 s, printing time: 0.0006 s (according to the Unix function gettimeofday())