X ?- V • *A