Demonstrate
Clear Trace
Execute Hypothesis
Undo Last Execution
Use lazy quantifiers
Execute Hypothesis on File
1334141(pbk);983038(hbk);12312677(pbk) 49502800(record);832923748;232409322 781093(record);7192003;1234556(hbk) 49502800(pbk);832923748;2324093224 58174093(hardback);719242203;111116(hbk)
37 Donny Ave
143 Chelsea Place
14 River Road
Generalise String