{<s> <p> true .}