xioms 1, 2, 3 and PLN AND rule ANDLink Small(Laptop) Over(Laptop, Desk) Far(Desk, Window) 2. using spatiotemporal rule 2, instantiated with SX = Laptop, Si = Desk and $Z = Window ImplicationLink_HOJ ANDLink Small(Laptop) Over(Laptop, Desk) Far(Desk, Window) Far(Laptop, Window) 3. using the result