> ? [some #contract]

[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.00019 s, printing time: 0.0006 s (according to the Unix function gettimeofday())