awk% bobj \|||||||||||||||||/ --- Welcome to BOBJ --- /|||||||||||||||||\ BOBJ version 0.9.248 built: Mon Jun 16 16:13:56 PDT 2003 University of California, San Diego Thu Jul 24 21:05:30 PDT 2003 BOBJ> in blend ========================================== obj DATA ========================================== th BASE ========================================== th HOUSE ========================================== th BOAT ========================================== view M1 ========================================== view M2 ========================================== th BASE Warning: redefining module BASE ========================================== Warning: redefining view M1 ========================================== Warning: redefining view M2 ========================================== th HOUSEBOAT ========================================== view M3 ========================================== view M4 ========================================== view C ========================================== th BOATHOUSE ========================================== reduce in BOATHOUSE : boat result Object: boat rewrite time: 102ms parse time: 0ms ========================================== reduce in BOATHOUSE : r:Universal>Person(boat) result Person: r:Universal>Person(boat) rewrite time: 1ms parse time: 2ms ========================================== reduce in BOATHOUSE : ~setsort~(Person, boat) result Object: boat rewrite time: 8ms parse time: 1ms ========================================== No parse for live-in ( boat , boathouse ) at line 110. ========================================== reduce in BOATHOUSE : live-in(r:Universal>Person(boat), boathouse) result Bool: true rewrite time: 17ms parse time: 2ms ========================================== reduce in BOATHOUSE : live-in(~setsort~(Person, boat), boathouse) result Bool: true rewrite time: 9ms parse time: 2ms ========================================== Warning: redefining view M3 ========================================== Warning: redefining view M4 ========================================== Warning: redefining view C ========================================== obj DATA Warning: redefining module DATA ========================================== th BOATHOUSE Warning: redefining module BOATHOUSE ========================================== reduce in BOATHOUSE : boat result Object: boat rewrite time: 1ms parse time: 0ms ========================================== reduce in BOATHOUSE : r:Universal>Person(boat) result Person: r:Universal>Person(boat) rewrite time: 0ms parse time: 1ms ========================================== reduce in BOATHOUSE : ~setsort~(Person, boat) result Object: boat rewrite time: 0ms parse time: 0ms ========================================== No parse for live-in ( boat , boathouse ) at line 149. ========================================== reduce in BOATHOUSE : live-in(r:Universal>Person(boat), boathouse) result Bool: live-in(r:Universal>Person(boat), boathouse) rewrite time: 1ms parse time: 1ms ========================================== reduce in BOATHOUSE : live-in(~setsort~(Person, boat), boathouse) result Bool: true rewrite time: 1ms parse time: 2ms ========================================== th BOATHOUSE Warning: redefining module BOATHOUSE ========================================== reduce in BOATHOUSE : boat result Object: boat rewrite time: 0ms parse time: 0ms ========================================== reduce in BOATHOUSE : r:Universal>Person(boat) result Object: boat rewrite time: 0ms parse time: 1ms ========================================== reduce in BOATHOUSE : ~setsort~(Person, boat) result Object: boat rewrite time: 1ms parse time: 1ms ========================================== reduce in BOATHOUSE : live-in(boat, boathouse) result Bool: live-in(boat, boathouse) rewrite time: 0ms parse time: 1ms ========================================== reduce in BOATHOUSE : live-in(r:Universal>Person(boat), boathouse) result Bool: live-in(boat, boathouse) rewrite time: 1ms parse time: 2ms ========================================== reduce in BOATHOUSE : live-in(~setsort~(Person, boat), boathouse) result Bool: live-in(boat, boathouse) rewrite time: 0ms parse time: 2ms BOBJ> q Bye. awk%