@prefix fc: . @prefix : . @prefix log: . this log:forAll :x, :y, :z, :q . this log:forAll :p1, :p2, :c1, :c2, :c3 , :n1, :n2, :n3. this log:forAll :per1, :per2, :nam1, :nam2, :corp1, :corp2 . { :per1 :memberOf :corp1. :per1 :memberOf :corp2 . :per1 fc:name :nam1 . :per2 fc:name :nam2 . :nam1 = :nam2 . } log:implies { :per1 = :per2 . :per1 :memberOf :corp2 .} . { :x a fc:Company ; fc:board :y . :y fc:member :z . :z fc:name :q . } log:implies { :q :memberOf :x } . this log:forAll :p1, :p2, :c1, :c2, :c3 , :n1, :n2, :n3. { :p1 :memberOf :c1, :c2 . :p2 :memberOf :c2, :c3 . } log:implies {:c1 :connectedTo :c3 . } .