Given SADL query Ask:Abraham child p and p has birthdate x. the translation is 'select p p where (Abraham, child, p) and (p, birthdate, x)' (need to not duplicate variables in variable list)