(FACT (IS-A SEAT1 SEAT))
(FACT (IS-A L1 LEG))
(FACT (IS-A L2 LEG))
(FACT (IS-A L3 LEG))
(FACT (CONNECTED L1 SEAT1))
(FACT (CONNECTED L2 SEAT1))
(FACT (CONNECTED L3 SEAT1))
(QUERY (CONNECTED L1 L2))
(QUERY (CONNECTED L1 SEAT1))
(QUERY VALUE (IS-A VALUE SEAT))
(QUERY VALUE (AND (IS-A VALUE LEG) (CONNECTED VALUE L1) (CONNECTED VALUE SEAT1)))
(QUERY VALUE (AND (IS-A VALUE LEG) (CONNECTED VALUE SEAT1)))