Rule rcvifxnnzrhvcsmt

[id: rcvifxnnzrhvcsmt] i(ist $wework $mitten_in_der_stadt) && fact($wework ist $mitten_in_der_stadt) => o(jawohl)

Loaded as

[id: rcvifxnnzrhvcsmt] input(ist $wework $mitten_in_der_stadt) && fact($wework ist $mitten_in_der_stadt) => output(jawohl)