) SR FC @B 1 : e Response [John]F likes [Mary]F, and [Taro]F likes [Susan]F. like(j, m) ∧ like(m, s) SR FC prediction: incongruent @B 2 : e observation: congruent The current analysis cannot capture a pair-list answer Problematic cases (undergeneration) m : e j : e s : e t : e -elimination @B like(j, m) proof search OK (others ommited)