/* PH.LOGIC */ /* Used in Lesson 4. */ ph( blackbird , blackbird_leys_road, cowley , unknown ). ph( bricklayers_arms , church_lane, marston , halls ). ph( brittania , london_road, headington , halls ). ph( bullnose_morris , watlington_road, cowley , unknown ). ph( butchers_arms , wilberforce_street, headington , unknown ). ph( cricketers_arms , temple_road, cowley , morrells ). ph( fox , north_way, barton , morrells ). ph( george , cowley_road, littlemore , morrells ). ph( golden_ball , cowley_road, littlemore , morrells ). ph( marlborough_head , oxford_road, littlemore , halls ). ph( original_swan , oxford_road, cowley , halls ). ph( plough , first_turn, wolvercote , morrells ). ph( prince_of_wales , charles_street, cowley , halls ). ph( prince_of_wales , church_way, iffley , free_house ). ph( prince_of_wales , cowley_road, oxford , morrells ). ph( prince_of_wales , horspath_road, headington , morrells ). ph( prince_of_wales , walton_street , oxford, morrells ). ph( princes_castle , barton_village_road , barton, unknown ). ph( queens_arms , church_hill_road, cowley , courage ). ph( red_lion , oxford_road, marston , halls ). ph( red_white_and_blue , stockmore_street, oxford , morlands ). ph( scholar_gipsy , the_avenue, kennington , unknown ). ph( tandem , kennington_road, kennington , unknown ). ph( three_horseshoes , oxford_road, marston , halls ). ph( white_hart , oxford_road, marston , morrells ).