Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1) qlq X ( aime_philosophe(X) -> grec(X) )
- 2) qlq X ( philosophe(X) -> - grec(X) )
- 3) qlq X ( philosophe(X) ^ - ment(X) ) -> philosophe(socrat) )
- 4) qlq X ( philosophe(X) ^ grec(X) ) -> - ment(X) )
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement