Some logic rules

x is a software
& y is an operating system
=> ask (does x run on y?)