Document (
    Prefix(ex:http://example.com/)
    Group(
        Forall ?k ?w ?s(
            ?w [gehörtZu ?s] :-
            And (
                ?k [ex:istAus ?s]
                ?w [ex:istVon ?k]
            ) 
        )
    )
)