| (adjacent vertex vertex |
| (adjacent vertex vertex graph |
| (degree vertex graph ) |
| (edge? edge |
| (incident-edges vertex graph ) |
| (in-degree vertex graph ) |
| (in-incident-edges vertex graph ) |
| (out-degree vertex graph ) |
| (out-incident-edges vertex graph ) |
| (vertex? vertex |